MiniZinc

Dependency building for the MiniZinc compiler and IDE bundles

Python 0 0 0 0 Updated Aug 5, 2026

The MiniZinc compiler

The MiniZinc IDE

C++ 175MPL-2.0 26 32 0 Updated Aug 4, 2026

FlatZinc serialization and deserialization

Rust 2 1 0 1 Updated Aug 3, 2026

The website for the MiniZinc constraint modelling system

MiniZinc 19 2 6 2 Updated Jul 23, 2026

Use MiniZinc in the browser or with NodeJS

JavaScript 62MPL-2.0 12 1 2 Updated Jul 23, 2026

A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

Python 8 7 0 3 Updated Jul 21, 2026

An archive repository containing the MiniZinc instances used for the MiniZinc Challenge

MiniZinc 17 5 0 2 Updated Jul 9, 2026

1 1 0 0 Updated Jun 19, 2026

A suite of MiniZinc benchmarks.

C 90MIT 34 4 5 Updated May 13, 2026

Navigation Menu