Hacker News new | ask | show | jobs
by overlords 2655 days ago
google or-tools

minizinc

prolog clpfd, chr

eclipse prolog-like constraint system

answer set programming
1 comments
jsjolen 2655 days ago
Yeah, Gecode supports floating point variables if that's of interest.
link