MiniZinc

MiniZinc is a free and open-source constraint modeling language

MiniZincIDE Public

C++ 107 MPL-2.0 16 11 0 Updated Jun 10, 2022
libminizinc Public
The MiniZinc compiler

C++ 392 66 57 3 Updated Jun 10, 2022
mzn-challenge Public
An archive repository containing the MiniZinc instances used for the MiniZinc Challenge

2 0 0 0 Updated Jun 9, 2022
minizinc-python Public
Access to all MiniZinc functionality directly from Python

Python 81 MPL-2.0 13 2 1 Updated May 24, 2022
minizinc.github.io Public
The website for the MiniZinc constraint modelling system

HTML 14 3 5 1 Updated May 18, 2022
mzn-bench Public
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

Python 3 3 0 1 Updated May 12, 2022
docker-build-environment Public
A set of docker images for a MiniZinc build environment

C++ 1 1 0 0 Updated Apr 26, 2022
specialization-examples Public

48 51 1 13 Updated Oct 7, 2021
MiniSearch Public
the source code for the MiniSearch meta-search language

C++ 3 0 5 0 Updated Apr 14, 2021
minizinc-doc Public
MiniZinc documentation

Python 15 8 8 1 Updated Oct 23, 2020

Pinned