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 671 93

  2. MiniZincIDE MiniZincIDE Public

    The MiniZinc IDE

    C++ 169 25

  3. minizinc-python minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    Python 202 27

  4. minizinc-js minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    JavaScript 55 11

Repositories

Showing 10 of 20 repositories
  • flatzinc-serde Public

    FlatZinc serialization and deserialization

    MiniZinc/flatzinc-serde’s past year of commit activity
    Rust 0 0 0 1 Updated Mar 19, 2026
  • MiniZincIDE Public

    The MiniZinc IDE

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

    The MiniZinc compiler

    MiniZinc/libminizinc’s past year of commit activity
    MiniZinc 671 93 118 (1 issue needs help) 7 Updated Mar 19, 2026
  • minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    MiniZinc/minizinc-js’s past year of commit activity
    JavaScript 55 MPL-2.0 11 1 3 Updated Mar 13, 2026
  • 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 13, 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 2 Updated Mar 12, 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
  • 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-python Public

    Access to all MiniZinc functionality directly from Python

    MiniZinc/minizinc-python’s past year of commit activity
    Python 202 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
View all repositories