minizinc (devel/minizinc) Updated: 1 week, 1 day ago Add to my watchlist
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.
Version: 2.9.4 License: MPL-2
GitHub
| Maintainers | herbygillot |
| Categories | devel |
| Homepage | https://www.minizinc.org |
| Platforms | darwin linux |
| Variants |
|
"minizinc" depends on
build (3)
lib (1)
Ports that depend on "minizinc"
No ports
Port Health:
Loading Port Health