Anonymous user
Category:MiniZinc: Difference between revisions
Add language tag
(Add page contents) |
(Add language tag) |
||
Line 6:
|compat=nominative
|express=explicit
|checking=static
|tags=minizinc}}
MiniZinc is a constraint modeling language developed by G12. It was originally a subset of Zinc, but has since gained additional capabilities. It compiles to a minimal subset called FlatZinc, which is interpreted by [https://www.minizinc.org/software.html#flatzinc constraint solvers].
| |||