There's a whole chapter on floating point constraints in the tutorial documentation "Modelling and Programming with Gecode" (see chapter 6 and 7.1.4) as well as several examples. The system you describe can be solved with Gecode given suitable initial bounds for A,B,C.
Cheers, Guido On 27/03/2013, at 8:40 AM, Clifford Yapp <cliffy...@gmail.com> wrote: > I noted with considerable interest that Gecode 4.0 lists support for floats > in its Changelog. > > Does there exist a tutorial demonstrating this ability? In particular, is it > possible to add > constraints along the lines of "A * B = 12.2", "B + C < 4.1", "A * C = 4" and > have Gecode solve the system for A, B and C? (Or is that a different type of > constraint system than Gecode is intended for?) > > Thanks, > CY > _______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
