TP1 Constraint programming written (untested).