Hacker News new | ask | show | jobs
by kaeluka 3074 days ago
It can run using a number of solvers, you can find a list here: http://www.minizinc.org/software.html