Repositories list

• minizinc-python

  Public

  MiniZinc/minizinc-python’s past year of commit activity
  Access to all MiniZinc functionality directly from Python

  pythonlinear-programmingconstraint-programming+ 4sat-solverminizincinteger-programmingoptimisation-problem

  Python

  •

  Mozilla Public License 2.0

  •27•199•10•5•Updated Dec 15, 2025Dec 15, 2025

• minizinc-benchmarks

  Public
  A suite of MiniZinc benchmarks.

  C

  •

  MIT License

  •31•86•4•4•Updated Dec 12, 2025Dec 12, 2025

• minizinc.github.io

  Public
  The website for the MiniZinc constraint modelling system

  MiniZinc

  •

  Other

  •2•16•7•2•Updated Dec 11, 2025Dec 11, 2025

• MiniZincIDE

  Public
  The MiniZinc IDE

  C++

  •

  Mozilla Public License 2.0

  •24•165•29•0•Updated Dec 4, 2025Dec 4, 2025

• libminizinc

  Public
  The MiniZinc compiler

  MiniZinc

  •

  Other

  •87•646•124•7•Updated Dec 4, 2025Dec 4, 2025

• docker-build-environment

  Public

  MiniZinc/docker-build-environment’s past year of commit activity
  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•2•0•0•Updated Nov 9, 2025Nov 9, 2025

• minizinc-js

  Public
  Use MiniZinc in the browser or with NodeJS

  nodejsjavascriptlinear-programming+ 7webassemblytypescript-definitionsconstraint-programmingsat-solverminizincinteger-programmingoptimisation-problem

  JavaScript

  •

  Mozilla Public License 2.0

  •11•51•1•3•Updated Oct 9, 2025Oct 9, 2025

• minizinc-playground

  Public
  MiniZinc playground using WebAssembly

  linear-programmingconstraint-programmingsat-solver+ 3minizincinteger-programmingoptimisation-problem

  Svelte

  •

  Mozilla Public License 2.0

  •2•11•2•2•Updated May 23, 2025May 23, 2025

• mzn-bench

  Public

  MiniZinc/mzn-bench’s past year of commit activity
  A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

  benchmarkclusterslurm+ 3minizincminizinc-pythonminizinc-benchmarks

  Python

  •7•6•0•2•Updated May 7, 2025May 7, 2025

• mzn-challenge

  Public
  An archive repository containing the MiniZinc instances used for the MiniZinc Challenge

  HTML

  •4•14•0•1•Updated Nov 25, 2024Nov 25, 2024

• specialization-examples

  Public
  64•71•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

  •1•21•0•0•Updated Sep 7, 2018Sep 7, 2018

• minizinc-examples

  Public
  small MiniZinc examples demonstrating various language features

  MIT License

  •26•125•1•1•Updated Sep 11, 2017Sep 11, 2017