[gecode-users] order in calls to status and commit...

[Guido Tack]

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: gecode.patch
Type: application/octet-stream
Size: 565 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20070601/1612df31/attachment.obj>
-------------- next part --------------

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack