Functional programming & constraint programming Project for the course "Functional Programming for Logicians" about constraint programming