Category:MiniZinc: Difference between revisions

From Rosetta Code
Content added Content deleted
(Another detail)
(Correction)
Line 6: Line 6:
|compat=nominative
|compat=nominative
|express=explicit
|express=explicit
|checking=both}}
|checking=static}}
{{stub}}
{{stub}}

Revision as of 17:13, 24 October 2019

Language
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:


Listed below are all of the tasks on Rosetta Code which have been solved using MiniZinc.
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Retrieved from "https://rosettacode.org/wiki/Category:MiniZinc?oldid=289368"