Explore @MiniZinc Open Source projects

@MiniZinc

MiniZinc

Stars
1,156
Global Org. Rank 13,926 (Top 5 %)
Registered over 11 years ago
Most used languages

Python
28.6 %

C++
28.6 %

JavaScript
14.3 %

Svelte 7.1 %

C
7.1 %

Mercury 7.1 %

HTML
7.1 %
Location 🇦🇺 Australia
Country Total Rank 521
Country Ranking

Mercury 4

Svelte 21

C++
36

C
184

Python
309

HTML
691

JavaScript
1,059

libminizinc

The MiniZinc compiler

minizinc-python

Access to all MiniZinc functionality directly from Python

MiniZincIDE

The MiniZinc IDE

minizinc-examples

small MiniZinc examples demonstrating various language features

minizinc-benchmarks

A suite of MiniZinc benchmarks.

specialization-examples

minizinc-js

Use MiniZinc in the browser or with NodeJS

iminizinc

IPython / Jupyter notebook magic

minizinc-doc

MiniZinc documentation

minizinc.github.io

The website for the MiniZinc constraint modelling system

mzn-challenge

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

minizinc-playground

MiniZinc playground using WebAssembly

minizinc-old

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