[gecode-users] Hint: FloatVars update

[Filip Konvička]

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