An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by MiniZinc

A curated list of projects in awesome lists by MiniZinc .

https://github.com/minizinc/libminizinc

The MiniZinc compiler

Last synced: 15 May 2025

https://github.com/MiniZinc/libminizinc

The MiniZinc compiler

Last synced: 21 Apr 2025

https://github.com/MiniZinc/MiniZincIDE

The MiniZinc IDE

Last synced: 21 Apr 2025

https://github.com/minizinc/minizincide

The MiniZinc IDE

Last synced: 04 Apr 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/iminizinc

IPython / Jupyter notebook magic

Last synced: 09 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/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/minizinc-old

MiniZinc 1.6

Last synced: 02 Apr 2026

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