@MiniZinc
Guthub

MiniZinc

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,094
  • Global Org. Rank 14,130 (Top 5 %)
  • Registered almost 11 years ago
  • Most used languages
    Python
         28.6 %
    C++
         28.6 %
    HTML
         14.3 %
    Mercury     7.1 %
    C
         7.1 %
    Svelte     7.1 %
    JavaScript
         7.1 %
  • Location 🇦🇺 Australia
  • Country Total Rank 521
  • Country Ranking
    Mercury     4
    Svelte     21
    C++
         36
    C
         180
    Python
         316
    HTML
         346
    JavaScript
         1,583

Top repositories

1

libminizinc

The MiniZinc compiler
C++
472
star
2

MiniZincIDE

The MiniZinc IDE
C++
131
star
3

minizinc-python

Access to all MiniZinc functionality directly from Python
Python
130
star
4

minizinc-examples

small MiniZinc examples demonstrating various language features
117
star
5

minizinc-benchmarks

A suite of MiniZinc benchmarks.
C
81
star
6

specialization-examples

63
star
7

iminizinc

IPython / Jupyter notebook magic
Python
21
star
8

minizinc-js

Use MiniZinc in the browser or with NodeJS
JavaScript
20
star
9

minizinc-doc

MiniZinc documentation
Python
16
star
10

minizinc.github.io

The website for the MiniZinc constraint modelling system
HTML
15
star
11

minizinc-playground

MiniZinc playground using WebAssembly
Svelte
8
star
12

mzn-challenge

An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
HTML
6
star
13

minizinc-old

MiniZinc 1.6
Mercury
5
star
14

mzn-bench

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

MiniSearch

the source code for the MiniSearch meta-search language
C++
3
star
16

docker-build-environment

A set of docker images for a MiniZinc build environment
C++
1
star