Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings
MiniZinc

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

MiniZinc

MiniZinc is a free and open-source constraint modeling language

Pinned Loading

  1. libminizinc libminizinc Public

    The MiniZinc compiler

    MiniZinc 668 91

  2. MiniZincIDE MiniZincIDE Public

    The MiniZinc IDE

    C++ 168 25

  3. minizinc-python minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    Python 201 27

  4. minizinc-js minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    JavaScript 52 11

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 19 repositories
  • minizinc-benchmarks Public

    A suite of MiniZinc benchmarks.

    MiniZinc/minizinc-benchmarks's past year of commit activity
    C 87 MIT 33 4 5 Updated Mar 6, 2026
  • mzn-challenge Public

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

    MiniZinc/mzn-challenge's past year of commit activity
    MiniZinc 14 4 0 1 Updated Mar 5, 2026
  • MiniZincIDE Public

    The MiniZinc IDE

    MiniZinc/MiniZincIDE's past year of commit activity
    C++ 168 MPL-2.0 25 30 0 Updated Mar 5, 2026
  • libminizinc Public

    The MiniZinc compiler

    MiniZinc/libminizinc's past year of commit activity
    MiniZinc 668 91 116 (1 issue needs help) 7 Updated Mar 4, 2026
  • mzn-bench Public

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

    MiniZinc/mzn-bench's past year of commit activity
    Python 6 7 0 1 Updated Mar 2, 2026
  • minizinc.github.io Public

    The website for the MiniZinc constraint modelling system

    MiniZinc/minizinc.github.io's past year of commit activity
    MiniZinc 17 2 7 2 Updated Feb 9, 2026
  • minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    MiniZinc/minizinc-js's past year of commit activity
    JavaScript 52 MPL-2.0 11 1 3 Updated Jan 28, 2026
  • minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    MiniZinc/minizinc-python's past year of commit activity
    Python 201 MPL-2.0 27 10 (1 issue needs help) 5 Updated Dec 15, 2025
  • docker-build-environment Public

    A set of docker images for a MiniZinc build environment

    MiniZinc/docker-build-environment's past year of commit activity
    C++ 2 1 0 0 Updated Nov 17, 2025
  • MiniZinc/icaps-tutorial's past year of commit activity
    MiniZinc 2 0 0 0 Updated Nov 9, 2025

Most used topics

Loading...