Project for testing constraint programming