[Mini-CP] Introduction to Mini-CP

Mini-CP is an CP solver made for education.

These exercices are part of a course, available on http://minicp.org.

Sign in