Repositories list

• MiniZincIDE

  Public
  The MiniZinc IDE

  C++

  •

  Mozilla Public License 2.0

  •22•144•23•0•Updated Nov 15, 2024Nov 15, 2024

• libminizinc

  Public
  The MiniZinc compiler

  C++

  •

  Other

  •81•516•107•4•Updated Nov 15, 2024Nov 15, 2024

• minizinc.github.io

  Public
  The website for the MiniZinc constraint modelling system

  JavaScript

  •

  Other

  •3•15•7•0•Updated Nov 12, 2024Nov 12, 2024

• minizinc-js

  Public
  Use MiniZinc in the browser or with NodeJS

  linear-programmingtypescript-definitionsconstraint-programming+ 7sat-solverminizincinteger-programmingoptimisation-problemnodejsjavascriptwebassembly

  JavaScript

  •

  Mozilla Public License 2.0

  •8•31•1•1•Updated Nov 11, 2024Nov 11, 2024

• minizinc-playground

  Public
  MiniZinc playground using WebAssembly

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

  Svelte

  •

  Mozilla Public License 2.0

  •1•9•0•0•Updated Nov 11, 2024Nov 11, 2024

• minizinc-python

  Public
  Access to all MiniZinc functionality directly from Python

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

  Python

  •

  Mozilla Public License 2.0

  •22•150•6•1•Updated Nov 11, 2024Nov 11, 2024

• mzn-bench

  Public
  A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

  benchmarkslurmminizinc+ 3clusterminizinc-pythonminizinc-benchmarks

  Python

  •5•5•0•2•Updated Aug 19, 2024Aug 19, 2024

• docker-build-environment

  Public
  A set of docker images for a MiniZinc build environment

  C++

  •1•1•0•0•Updated Jun 10, 2024Jun 10, 2024

• mzn-challenge

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

  HTML

  •2•9•0•0•Updated Apr 15, 2024Apr 15, 2024

• specialization-examples

  Public
  63•66•1•13•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•5•5•0•Updated Apr 14, 2021Apr 14, 2021

• minizinc-benchmarks

  Public
  A suite of MiniZinc benchmarks.

  C

  •

  MIT License

  •29•82•4•4•Updated Oct 9, 2020Oct 9, 2020

• 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•123•1•1•Updated Sep 11, 2017Sep 11, 2017