minizinc (devel/minizinc) Updated: 1 month ago Add to my watchlist

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

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.

Version: 2.8.7 License: MPL-2 GitHub
Displaying statistics for 1,137 users who made submissions during: until

Statistics for selected duration

2024-Oct-23 to 2024-Nov-22


No stats available for this selection.

Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.