npm

minizinc

Medium-level constraint modeling language for optimization problems

brewmacoslinux
Try with needOr install directly
Source

About

Medium-level constraint modeling language

Commands

minizincmzn2fznfzn-gecode

Examples

Solve a MiniZinc model file$ minizinc model.mzn
Solve with specific solver backend$ minizinc --solver gecode model.mzn
Compile MiniZinc to FlatZinc$ mzn2fzn model.mzn -o model.fzn