minizinc

v 2.8.5 Updated: 1 week, 6 days ago

MiniZinc is a free and open-source constraint modeling language.

MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers. MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.

https://www.minizinc.org

To install minizinc, paste this in macOS terminal after installing MacPorts

sudo port install minizinc

Add to my watchlist

Installations 0
Requested Installations 0