Hi, there is a small bug in "examples/ind-set.cpp".
You can find attached a possible bug-fix, cheers, Stefano
ind-set.patch
Description: Binary data
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
