Category:MiniZinc: Difference between revisions
Content added Content deleted
(Correction) |
(Add language tag) |
||
(One intermediate revision by the same user not shown) | |||
Line 6: | Line 6: | ||
|compat=nominative |
|compat=nominative |
||
|express=explicit |
|express=explicit |
||
|checking=static |
|checking=static |
||
|tags=minizinc}} |
|||
{{stub}} |
|||
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]. |
|||
MiniZinc can be used to state satisfaction and optimization problems in a high-level, declarative fashion. It provides a [https://www.minizinc.org/doc-latest/en/lib.html standard library of common constraints], which can help modelers to formulate their models both readably and efficiently. |
|||
MiniZinc is at the heart of the [https://www.minizinc.org/challenge.html MiniZinc Challenge], a yearly competition that ranks constraint solvers on their ability to handle a wide array of satisfaction and optimization problems. |
Latest revision as of 21:13, 24 October 2019
MiniZinc
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using MiniZinc.
This programming language may be used to instruct a computer to perform a task.
Official website |
---|
Execution method: | Interpreted |
---|---|
Type safety: | Safe |
Type strength: | Weak |
Type compatibility: | Nominative |
Type expression: | Explicit |
Type checking: | Static |
Lang tag(s): | minizinc |
See Also: |
|
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 constraint solvers.
MiniZinc can be used to state satisfaction and optimization problems in a high-level, declarative fashion. It provides a standard library of common constraints, which can help modelers to formulate their models both readably and efficiently.
MiniZinc is at the heart of the MiniZinc Challenge, a yearly competition that ranks constraint solvers on their ability to handle a wide array of satisfaction and optimization problems.
Pages in category "MiniZinc"
The following 31 pages are in this category, out of 31 total.