Sébastien Mouthuy wrote:
I printed id's of these branching and it happens that an instance of BrSF has the same id as BrCl.
I think I've found the problem, and it was a bug in our code. It will be fixed in Gecode 2.0, but for the time being, you can use the patch attached to this mail (it's for Gecode 1.3.1). Just run
patch -p0 < gecode.patch
in the toplevel directory of Gecode 1.3.1.
I'm really curious whether this fixes your problem.
Cheers,
Guido
gecode.patch
Description: Binary data
-- Guido Tack Programming Systems Lab, Saarland University, Germany http://www.ps.uni-sb.de/~tack
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
