MiniZinc repositories

26 repositories

MiniZincIDE
Public
The MiniZinc IDE
C++
•
Mozilla Public License 2.0
•28•179•31•0•Updated Sep 30, 2026Sep 30, 2026
FindMUS
Public
C++
•
Other
•1•0•0•0•Updated Sep 30, 2026Sep 30, 2026
mzn-analyse
Public
C++
•
Mozilla Public License 2.0
•1•0•0•0•Updated Sep 30, 2026Sep 30, 2026
libminizinc
Public
The MiniZinc compiler
MiniZinc
•
Other
•99•703•108•8•Updated Sep 30, 2026Sep 30, 2026
minizinc-playground
Public
MiniZinc playground using WebAssembly
linear-programming constraint-programming sat-solver
linear-programming constraint-programming sat-solver minizinc integer-programming optimisation-problem
Svelte
•
Mozilla Public License 2.0
•1•13•1•0•Updated Sep 28, 2026Sep 28, 2026
minizinc-python
Public
Access to all MiniZinc functionality directly from Python
python linear-programming constraint-programming
python linear-programming constraint-programming sat-solver minizinc integer-programming optimisation-problem
Python
•
Mozilla Public License 2.0
•28•212•10•5•Updated Sep 10, 2026Sep 10, 2026
minizinc.github.io
Public
The website for the MiniZinc constraint modelling system
MiniZinc
•
Other
•2•19•6•2•Updated Sep 7, 2026Sep 7, 2026
minizinc-js
Public
Use MiniZinc in the browser or with NodeJS
nodejs javascript linear-programming
nodejs javascript linear-programming webassembly typescript-definitions constraint-programming sat-solver minizinc integer-programming optimisation-problem
JavaScript
•
Mozilla Public License 2.0
•12•62•1•2•Updated Sep 5, 2026Sep 5, 2026
mzn-bench
Public
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
benchmark cluster slurm
benchmark cluster slurm minizinc minizinc-python minizinc-benchmarks
Python
•7•9•0•3•Updated Sep 1, 2026Sep 1, 2026
minizinc-vendor
Public
Dependency building for the MiniZinc compiler and IDE bundles
Python
•1•0•0•0•Updated Aug 28, 2026Aug 28, 2026
Globalizer
Public
Haskell
•
Mozilla Public License 2.0
•1•0•0•0•Updated Aug 20, 2026Aug 20, 2026
minizinc-hs
Public
Haskell
•
Mozilla Public License 2.0
•0•0•0•0•Updated Aug 14, 2026Aug 14, 2026
flatzinc-serde
Public
FlatZinc serialization and deserialization
serialization parser deserialization
serialization parser deserialization flatzinc
Rust
•1•2•0•1•Updated Aug 3, 2026Aug 3, 2026
mzn-challenge
Public
An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
MiniZinc
•5•18•0•2•Updated Jul 9, 2026Jul 9, 2026
model-without-numbers
Public
1•1•0•0•Updated Jun 19, 2026Jun 19, 2026
minizinc-benchmarks
Public
A suite of MiniZinc benchmarks.
C
•
MIT License
•34•91•4•5•Updated May 13, 2026May 13, 2026
docker-build-environment
Public archive
A set of docker images for a MiniZinc build environment
C++
•1•2•0•0•Updated Nov 17, 2025Nov 17, 2025
icaps-tutorial
Public
MiniZinc
•0•3•0•0•Updated Nov 9, 2025Nov 9, 2025
specialization-examples
Public
65•70•1•1•Updated Mar 1, 2024Mar 1, 2024
cpp-integration
Public
C++
•2•0•1•0•Updated Oct 17, 2023Oct 17, 2023
mzn-challenge-tests
Public
Test suite used to validate MiniZinc Challenge solver entries
MIT License
•0•0•0•0•Updated Jul 6, 2023Jul 6, 2023
minizinc-doc
Public archive
MiniZinc documentation
Python
•
Other
•9•16•9•2•Updated Feb 9, 2023Feb 9, 2023
MiniSearch
Public
the source code for the MiniSearch meta-search language
C++
•
Other
•0•4•5•0•Updated Apr 14, 2021Apr 14, 2021
minizinc-old
Public
MiniZinc 1.6
Mercury
•1•5•0•0•Updated Mar 11, 2020Mar 11, 2020
iminizinc
Public
IPython / Jupyter notebook magic
Python
•
Other
•0•21•0•0•Updated Sep 7, 2018Sep 7, 2018
minizinc-examples
Public
small MiniZinc examples demonstrating various language features
MIT License
•27•133•1•1•Updated Sep 11, 2017Sep 11, 2017

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

MiniZinc

All

26 repositories

MiniZincIDE

FindMUS

mzn-analyse

libminizinc

minizinc-playground

minizinc-python

minizinc.github.io

minizinc-js

mzn-bench

minizinc-vendor

Globalizer

minizinc-hs

flatzinc-serde

mzn-challenge

model-without-numbers

minizinc-benchmarks

docker-build-environment

icaps-tutorial

specialization-examples

cpp-integration

mzn-challenge-tests

minizinc-doc

MiniSearch

minizinc-old

iminizinc

minizinc-examples

Repositories list

26 repositories