Python Constraint Programming