[gecode-users] DDS in trunk version : does distinct support self-decomposition?

Guido Tack tack at ps.uni-sb.de
Wed Jan 14 12:53:04 CET 2009

Martin Mann wrote:
> I am preparing and updating my code for the next release of Gecode to
> utilize DDS. For that I update everything to work with the current  
> trunk.
> An important question for me at this point: Is the distinct propagator
> self-decomposing to work properly with DDS or do I've got to come up
> with a 'hacked' version. :)
> And concerning that: do you have plans for a set of DDS-dedicated
> self-decomposing propagators or a module for this?

Distinct does not self-decompose.  As we don't have any special DDS  
propagators, there's no module, but there could be if we had any.

> Furthermore, in the current trunk the DDS module is not working and
> stops compilation on my machine. Is the module stable or currently  
> under
> construction? So do I've got to search for the problem on my machine  
> or
> just wait for some time for the final changes?

It's been broken since the new design for branchings.  I'll try to fix  


More information about the gecode-users mailing list