brew install dekker1/minizinc/<formula>
Or brew tap dekker1/minizinc
and then brew install <formula>
.
- 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.
- Yuck -
brew install dekker1/minizinc/yuck
- OpenWBO -
brew install dekker1/minizinc/open-wbo
- 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.
brew help
, man brew
or check Homebrew's documentation.