Test project for constraint programming