Projects in Awesome Lists by MiniZinc
A curated list of projects in awesome lists by MiniZinc .
https://github.com/minizinc/minizinc-python
Access to all MiniZinc functionality directly from Python
constraint-programming integer-programming linear-programming minizinc optimisation-problem python sat-solver
Last synced: 05 Apr 2025
https://github.com/MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
constraint-programming integer-programming linear-programming minizinc optimisation-problem python sat-solver
Last synced: 19 Jul 2025
https://github.com/minizinc/minizinc-examples
small MiniZinc examples demonstrating various language features
Last synced: 11 Mar 2026
https://github.com/minizinc/minizinc-benchmarks
A suite of MiniZinc benchmarks.
Last synced: 07 Aug 2025
https://github.com/minizinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
constraint-programming integer-programming javascript linear-programming minizinc nodejs optimisation-problem sat-solver typescript-definitions webassembly
Last synced: 07 Apr 2025
https://github.com/minizinc/minizinc.github.io
The website for the MiniZinc constraint modelling system
Last synced: 10 Mar 2026
https://github.com/minizinc/minizinc-playground
MiniZinc playground using WebAssembly
constraint-programming integer-programming linear-programming minizinc optimisation-problem sat-solver
Last synced: 12 May 2025
https://github.com/minizinc/mzn-challenge
An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
Last synced: 10 Mar 2026
https://github.com/minizinc/mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
benchmark cluster minizinc minizinc-benchmarks minizinc-python slurm
Last synced: 22 Jul 2025
https://github.com/minizinc/minisearch
the source code for the MiniSearch meta-search language
Last synced: 18 Feb 2026
https://github.com/minizinc/docker-build-environment
A set of docker images for a MiniZinc build environment
Last synced: 10 Aug 2025
https://github.com/minizinc/mzn-challenge-tests
Test suite used to validate MiniZinc Challenge solver entries
Last synced: 25 Feb 2026