MiniZinc/mzn-challenge MiniZinc/mzn-challenge

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    HTML
  • Created over 2 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MiniZinc/mzn-challenge
github

MiniZinc

Reviews

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

Repository Details

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

More Repositories

1

libminizinc

The MiniZinc compiler
C++
496
star
2

minizinc-python

Access to all MiniZinc functionality directly from Python
Python
144
star
3

MiniZincIDE

The MiniZinc IDE
C++
140
star
4

minizinc-examples

small MiniZinc examples demonstrating various language features
119
star
5

minizinc-benchmarks

A suite of MiniZinc benchmarks.
C
82
star
6

specialization-examples

66
star
7

minizinc-js

Use MiniZinc in the browser or with NodeJS
JavaScript
25
star
8

iminizinc

IPython / Jupyter notebook magic
Python
21
star
9

minizinc-doc

MiniZinc documentation
Python
16
star
10

minizinc.github.io

The website for the MiniZinc constraint modelling system
JavaScript
15
star
11

minizinc-playground

MiniZinc playground using WebAssembly
Svelte
8
star
12

minizinc-old

MiniZinc 1.6
Mercury
5
star
13

mzn-bench

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

MiniSearch

the source code for the MiniSearch meta-search language
C++
5
star
15

docker-build-environment

A set of docker images for a MiniZinc build environment
C++
1
star