[Mini-CP] Introduction to Mini-CP

Mini-CP is a CP solver made for education.

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