Gecode 6.4.0
Using float variables and constraints