A MiniZinc solver tap

How do I install these formulae?

brew install dekker1/minizinc/<formula>

Or brew tap dekker1/minizinc and then brew install <formula>.

MiniZinc solvers included in this tap:

• Choco - brew install dekker1/minizinc/choco
• Chuffed - brew install dekker1/minizinc/chuffed
• flatzingo - brew install dekker1/minizinc/flatzingo
• FindMUS - brew install dekker1/minizinc/findmus
• Geas - brew install dekker1/minizinc/geas
• JaCoP - brew install dekker1/minizinc/jacop
• fzn-oscar-cbls - brew install dekker1/minizinc/fzn-oscar-cbls
• FZN Picat - brew install dekker1/minizinc/fzn-picat
  • Note: this tap contains only the FlatZinc interface to Picat, it depends on the Picat package in Hombebrew core.
• Pumpkin - brew install dekker1/minizinc/pumpkin
• Yuck - brew install dekker1/minizinc/yuck

MiniZinc SAT solvers included in this tap (solver interface not yet released):

• OpenWBO - brew install dekker1/minizinc/open-wbo

MiniZinc solvers included in Homebrew core:

• Gecode - brew install gecode
• OR-Tools - brew install or-tools
• SCIP - brew install scip

Related tools included in this tap:

• Clingcon - brew install dekker1/minizinc/clingcon
  • An answer set solver for constraint logic programs building upon the answer set solver Clingo.
• fzn2lp - brew install dekker1/minizinc/fzn2lp
  • A converter from FlatZinc into an ASP fact format.

Documentation

brew help, man brew or check Homebrew's documentation.