Category:MiniZinc: Difference between revisions
Content added Content deleted
(Another detail) |
(Correction) |
||
Line 6: | Line 6: | ||
|compat=nominative |
|compat=nominative |
||
|express=explicit |
|express=explicit |
||
|checking= |
|checking=static}} |
||
{{stub}} |
{{stub}} |
Revision as of 17: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 |
See Also: |
|
Pages in category "MiniZinc"
The following 31 pages are in this category, out of 31 total.