19 Repositories
libminizinc
667
minizinc-python
201
MiniZincIDE
168
minizinc-examples
126
minizinc-benchmarks
87
specialization-examples
70
minizinc-js
52
iminizinc
21
minizinc.github.io
17
minizinc-doc
16
mzn-challenge
14
minizinc-playground
12
mzn-bench
6
minizinc-old
5
MiniSearch
4
icaps-tutorial
2
docker-build-environment
2
mzn-challenge-tests
0
cpp-integration
0