Hacker News new | ask | show | jobs
by 7thaccount 2326 days ago
MiniZinc is a generic language and IDE for optimization problems. You can hook into a variety of solvers (LP, MILP, Nonlinear, and some kind of like Prolog). The solvers have to be able to read the the flatzinc file type that MiniZinc exports if they don't support native hooks.