MiniZinc is a constraint modelling language to describe and solve high-complexity problems using a variety of well-known solving paradigms for combinatorial problems including constraint programming, integer programming, SAT, and SMT. Wikipedia

Created Year: 2009
Developed by: Monash University
Operating systems: Linux • Microsoft Windows • macOS
Implemented in: C++
File extensions: dzn, fzn, mzn

Wikidata: Q86358817

Programming paradigms: constraint programming

Language types: constraint programming language • declarative programming language