MiniZinc
Like
MiniZinc is a free and open-source constraint modeling language.
Cost / License
- Free
- Open Source
Platforms
- Mac
- Windows
- Linux
Features
- Math Solver
Tags
- unified-modeling-language
- problem-solving
MiniZinc News & Activities
Highlights All activities
Recent activities
No activities found.
MiniZinc information
Developed by
Monash University Licensing
Open Source and Free product.Alternatives
11 alternatives listedSupported Languages
- English
AlternativeTo Category
Education & ReferenceGitHub repository
- 646 Stars
- 87 Forks
- 130 Open Issues
- Updated
No comments or reviews, maybe you want to be first?
Post comment/reviewWhat is MiniZinc?
MiniZinc is a free and open-source constraint modeling language.
You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.
MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.