python module for solving constraint satisfaction problems
