MiniZinc

Constraint modeling language

2009Appeared

strong typingType system

2.10.1Latest version

Facts

Appeared: 2009
Type system: strong typing
Latest version: 2.10.1 (August 31, 2026)
Kind: programming tool, open-source software, declarative programming language, constraint programming language
Paradigms: constraint programming
Developer: Monash University
Implemented in: C++
File extensions: .dzn .fzn .mzn
Licence: Mozilla Public License, version 2.0
Operating system: Microsoft Windows, macOS, Linux