gecode

Constraint programming toolkit for developing constraint-based systems

brewmacoslinux

Try with needOr install directly

About

Toolkit for developing constraint-based systems and applications

gecode

Compile a constraint programming model written in MiniZinc for Gecode$ mzn2fzn model.mzn data.dzn && fzn-gecode model.fzn

Run Gecode solver on a FlatZinc constraint file$ fzn-gecode problem.fzn -time 5000

Solve constraint satisfaction problem with optimization$ fzn-gecode puzzle.fzn -a -time 10000