GeCode constraint programming examples