Description
Finite-domain constraint satisfaction problems can be modeled and solved from Python code. This library is for developers and educators exploring scheduling, puzzles, allocation, or search problems. Solver results depend on constraints, so models should be checked for completeness.