From Rosetta Code
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:

Listed below are all of the tasks on Rosetta Code which have been solved using 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 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.