I wrote earlier today: > Decomposition during search (DDS) is now part of the Gecode trunk. If > you want to try it out, check out the trunk and configure with the -- > with-boost-include switch so that the boost graph library is found. The boost graph library is now no longer required. Cheers, Guido