MiniZinc

libminizinc

The MiniZinc compiler

MiniZincIDE

The MiniZinc IDE

minizinc-python

Access to all MiniZinc functionality directly from Python

minizinc-examples

small MiniZinc examples demonstrating various language features

minizinc-benchmarks

A suite of MiniZinc benchmarks.

specialization-examples

iminizinc

IPython / Jupyter notebook magic

minizinc-js

Use MiniZinc in the browser or with NodeJS

minizinc-doc

MiniZinc documentation

minizinc.github.io

The website for the MiniZinc constraint modelling system

minizinc-playground

MiniZinc playground using WebAssembly

mzn-challenge

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

minizinc-old

MiniZinc 1.6

mzn-bench

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

MiniSearch

the source code for the MiniSearch meta-search language

docker-build-environment

A set of docker images for a MiniZinc build environment

cpp-integration

mzn-challenge-tests

Test suite used to validate MiniZinc Challenge solver entries