Thanks to Stefano Gualandi, here's an update of the README.txt paragraph about building Gecode 2.1.1 for FloatVars:
To use it, download Gecode 2.1.1 source package, apply the patch ./patch/float.patch, put ./patch/float.vis to Gecode source root (where 'variables.vsl' resides) and build Gecode. (I somehow failed to include instructions about where to put float.vis) Cheers, Filip _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
