https://github.com/dekker1/homebrew-minizinc

A Homebrew Tap for MiniZinc solvers
https://github.com/dekker1/homebrew-minizinc

constraint-programming flatzinc homebrew homebrew-tap minizinc

Last synced: 2 months ago
JSON representation

A Homebrew Tap for MiniZinc solvers

• Host: GitHub
• URL: https://github.com/dekker1/homebrew-minizinc
• Owner: Dekker1
• Created: 2020-10-08T23:38:13.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2024-09-17T03:12:47.000Z (3 months ago)
• Last Synced: 2024-09-18T05:45:54.913Z (3 months ago)
• Topics: constraint-programming, flatzinc, homebrew, homebrew-tap, minizinc
• Language: Ruby
• Homepage:
• Size: 75.2 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# A MiniZinc solver tap

## How do I install these formulae?

`brew install dekker1/minizinc/`

Or `brew tap dekker1/minizinc` and then `brew install `.

## MiniZinc solvers included in this tap:

- [Choco](https://choco-solver.org) - `brew install dekker1/minizinc/choco`

- [Chuffed](https://github.com/chuffed/chuffed) - `brew install dekker1/minizinc/chuffed`

- [flatzingo](https://github.com/potassco/flatzingo) - `brew install dekker1/minizinc/flatzingo`

- [FindMUS](https://gitlab.com/minizinc/FindMUS) - `brew install dekker1/minizinc/findmus`

- [Geas](https://bitbucket.org/gkgange/geas) - `brew install dekker1/minizinc/geas`

- [JaCoP](https://github.com/radsz/jacop/) - `brew install dekker1/minizinc/jacop`

- [fzn-oscar-cbls](https://bitbucket.org/oscarlib/oscar/) - `brew install dekker1/minizinc/fzn-oscar-cbls`

- [FZN Picat](https://github.com/nfzhou/fzn_picat) - `brew install dekker1/minizinc/fzn-picat`

  - Note: this tap contains only the FlatZinc interface to [Picat](http://picat-lang.org), it depends on the Picat package in Hombebrew core.

- [Yuck](https://github.com/informarte/yuck/) - `brew install dekker1/minizinc/yuck`

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

- [OpenWBO](https://github.com/sat-group/open-wbo) - `brew install dekker1/minizinc/open-wbo`

## MiniZinc solvers included in Homebrew core:

- [Gecode](https://www.gecode.org) - `brew install gecode`

- [OR-Tools](https://developers.google.com/optimization/) - `brew install or-tools`

- [SCIP](https://www.scipopt.org) - `brew install scip`

## Related tools included in this tap:

- [Clingcon](https://potassco.org/) - `brew install dekker1/minizinc/clingcon`

  - An answer set solver for constraint logic programs building upon the answer set solver Clingo.

- [fzn2lp](https://github.com/potassco/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](https://docs.brew.sh).