A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.
