4 ms·

google or-tools minizinc prolog clpfd, chr eclipse prolog-like constraint system answer set programming

• jsjolen 8y ago
  Yeah, Gecode supports floating point variables if that's of interest.