Pinned Repositories
iminizinc
IPython / Jupyter notebook magic
libminizinc
The MiniZinc compiler
minizinc-benchmarks
A suite of MiniZinc benchmarks.
minizinc-doc
MiniZinc documentation
minizinc-examples
small MiniZinc examples demonstrating various language features
minizinc-js
Use MiniZinc in the browser or with NodeJS
minizinc-python
Access to all MiniZinc functionality directly from Python
minizinc.github.io
The website for the MiniZinc constraint modelling system
MiniZincIDE
The MiniZinc IDE
specialization-examples
MiniZinc's Repositories
MiniZinc/libminizinc
The MiniZinc compiler
MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
MiniZinc/MiniZincIDE
The MiniZinc IDE
MiniZinc/minizinc-examples
small MiniZinc examples demonstrating various language features
MiniZinc/minizinc-benchmarks
A suite of MiniZinc benchmarks.
MiniZinc/specialization-examples
MiniZinc/iminizinc
IPython / Jupyter notebook magic
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
MiniZinc/minizinc-doc
MiniZinc documentation
MiniZinc/minizinc.github.io
The website for the MiniZinc constraint modelling system
MiniZinc/minizinc-playground
MiniZinc playground using WebAssembly
MiniZinc/mzn-challenge
An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
MiniZinc/minizinc-old
MiniZinc 1.6
MiniZinc/mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
MiniZinc/MiniSearch
the source code for the MiniSearch meta-search language
MiniZinc/docker-build-environment
A set of docker images for a MiniZinc build environment
MiniZinc/cpp-integration
MiniZinc/mzn-challenge-tests
Test suite used to validate MiniZinc Challenge solver entries