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