MiniZinc icon
MiniZinc icon

MiniZinc

MiniZinc is a free and open-source constraint modeling language.

Cost / License

  • Free
  • Open Source

Platforms

  • Mac
  • Windows
  • Linux
MiniZinc alternatives  
0likes
11alternatives
0articles
Save

Features

MiniZinc News & Activities

Highlights All activities

Recent activities

No activities found.

MiniZinc information

AlternativeTo Category

Education & Reference

GitHub repository

  •  677 Stars
  •  97 Forks
  •  131 Open Issues
  •   Updated  
View on GitHub

Popular alternatives

View all
MiniZinc was added to AlternativeTo by Paul on and this page was last updated .

No comments or reviews, maybe you want to be first?

Official Links

AppStores & Other Links

What 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.