Skip to content
@MiniZinc

MiniZinc

MiniZinc is a free and open-source constraint modeling language

Pinned Loading

  1. libminizinc Public

    The MiniZinc compiler

    C++ 535 81

  2. MiniZincIDE Public

    The MiniZinc IDE

    C++ 148 22

  3. minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    Python 156 26

  4. minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    JavaScript 37 8

Repositories

Showing 10 of 18 repositories
  • minizinc-js Public

    Use MiniZinc in the browser or with NodeJS

    JavaScript 37 MPL-2.0 8 1 2 Updated Mar 10, 2025
  • minizinc-playground Public

    MiniZinc playground using WebAssembly

    Svelte 9 MPL-2.0 1 0 1 Updated Mar 10, 2025
  • mzn-bench Public

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

    Python 5 5 0 1 Updated Mar 10, 2025
  • MiniZincIDE Public

    The MiniZinc IDE

    C++ 148 MPL-2.0 22 26 0 Updated Mar 7, 2025
  • libminizinc Public

    The MiniZinc compiler

    C++ 535 81 103 (1 issue needs help) 6 Updated Mar 7, 2025
  • minizinc.github.io Public

    The website for the MiniZinc constraint modelling system

    JavaScript 15 3 7 2 Updated Mar 6, 2025
  • minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    Python 156 MPL-2.0 26 7 (1 issue needs help) 1 Updated Feb 25, 2025
  • mzn-challenge Public

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

    HTML 10 2 0 0 Updated Nov 25, 2024
  • docker-build-environment Public

    A set of docker images for a MiniZinc build environment

    C++ 1 1 0 0 Updated Jun 10, 2024
  • specialization-examples Public
    66 63 1 13 Updated Mar 1, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…