Python Constraint-programming Resources