GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ MiniZinc
5 open source projects by MiniZinc
[ Open user page on Github ]
1.
Minizincide
✭ 92
2.
Minizinc Benchmarks
A suite of MiniZinc benchmarks.
✭ 64
c
3.
Libminizinc
The MiniZinc compiler
✭ 328
4.
iminizinc
IPython / Jupyter notebook magic
✭ 21
python
javascript
5.
minizinc-python
Access to all MiniZinc functionality directly from Python
✭ 92
python
linear-programming
constraint-programming
sat-solver
minizinc
integer-programming
optimisation-problem
1-5
of
5
user projects