Hi, the hackish nature of gecol has evolved in direction to a more systematic interface, that is closer to gecode itself. The interface is now partly autogenerated and thus should be (quite) complete for finite integers and finite sets. As search engines you can now use DFS and BAB. Cheers, Kilian