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