rsolve.py (pypi): For constraint satisfaction problems in Python
Keywords: constraint-solver