4 ms·
It can run using a number of solvers, you can find a list here: http://www.minizinc.org/software.html http://www.minizinc.org/software.html
by kaeluka 9y ago
It can run using a number of solvers, you can find a list here: http://www.minizinc.org/software.html http://www.minizinc.org/software.html