18 Repositories
libminizinc
536
minizinc-python
157
MiniZincIDE
148
minizinc-examples
125
minizinc-benchmarks
84
specialization-examples
66
minizinc-js
37
iminizinc
21
minizinc-doc
16
minizinc.github.io
15
mzn-challenge
10
minizinc-playground
9
mzn-bench
5
minizinc-old
5
MiniSearch
5
docker-build-environment
1
mzn-challenge-tests
0
cpp-integration
0