Skip to content
@MiniZinc

MiniZinc

MiniZinc is a free and open-source constraint modeling language

Pinned Loading

  1. libminizinc libminizinc Public

    The MiniZinc compiler

    MiniZinc 701 100

  2. MiniZincIDE MiniZincIDE Public

    The MiniZinc IDE

    C++ 177 28

  3. minizinc-python minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    Python 212 27

  4. minizinc-js minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    JavaScript 62 12

Repositories

Showing 10 of 26 repositories
  • minizinc-playground Public

    MiniZinc playground using WebAssembly

    MiniZinc/minizinc-playground's past year of commit activity
    Svelte 13 MPL-2.0 1 1 0 Updated Sep 15, 2026
  • FindMUS Public
    MiniZinc/FindMUS's past year of commit activity
    C++ 0 1 0 0 Updated Sep 14, 2026
  • mzn-analyse Public
    MiniZinc/mzn-analyse's past year of commit activity
    C++ 0 MPL-2.0 1 0 0 Updated Sep 14, 2026
  • libminizinc Public

    The MiniZinc compiler

    MiniZinc/libminizinc's past year of commit activity
    MiniZinc 701 100 107 (1 issue needs help) 7 Updated Sep 14, 2026
  • MiniZincIDE Public

    The MiniZinc IDE

    MiniZinc/MiniZincIDE's past year of commit activity
    C++ 177 MPL-2.0 28 31 0 Updated Sep 14, 2026
  • minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    MiniZinc/minizinc-python's past year of commit activity
    Python 212 MPL-2.0 27 10 (1 issue needs help) 5 Updated Sep 10, 2026
  • minizinc.github.io Public

    The website for the MiniZinc constraint modelling system

    MiniZinc/minizinc.github.io's past year of commit activity
    MiniZinc 19 2 6 2 Updated Sep 7, 2026
  • minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    MiniZinc/minizinc-js's past year of commit activity
    JavaScript 62 MPL-2.0 12 1 2 Updated Sep 5, 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 9 7 0 3 Updated Sep 1, 2026
  • minizinc-vendor Public

    Dependency building for the MiniZinc compiler and IDE bundles

    MiniZinc/minizinc-vendor's past year of commit activity
    Python 0 1 0 0 Updated Aug 28, 2026
View all repositories