A Python framework for solving constraint satisfaction problems.