MiniZinc/minizinc-examples

Stars
119
Rank 297,930 (Top 6 %)
Language
License
MIT License
Created over 9 years ago
Updated about 7 years ago

MiniZinc/minizinc-examples

MiniZinc

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

small MiniZinc examples demonstrating various language features

The MiniZinc Examples Archive - v1.0.0

This repository contains a collection of small MiniZinc 2.0 models demonstrating various language features. These examples are referenced by the Basic Modeling for Discrete Optimization MOOC. The versions of the examples in this repository are maintained to the latest version of MiniZinc and may differ from reference documents.

libminizinc

The MiniZinc compiler

minizinc-python

Access to all MiniZinc functionality directly from Python

MiniZincIDE

The MiniZinc IDE

minizinc-benchmarks

A suite of MiniZinc benchmarks.

specialization-examples

minizinc-js

Use MiniZinc in the browser or with NodeJS

iminizinc

IPython / Jupyter notebook magic

minizinc-doc

MiniZinc documentation

minizinc.github.io

The website for the MiniZinc constraint modelling system

mzn-challenge

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

minizinc-playground

MiniZinc playground using WebAssembly

minizinc-old

mzn-bench

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

MiniSearch

the source code for the MiniSearch meta-search language

docker-build-environment

A set of docker images for a MiniZinc build environment