https://github.com/MiniZinc/MiniZincIDE

The MiniZinc IDE
https://github.com/MiniZinc/MiniZincIDE

Last synced: 2 months ago
JSON representation

The MiniZinc IDE

• Host: GitHub
• URL: https://github.com/MiniZinc/MiniZincIDE
• Owner: MiniZinc
• License: mpl-2.0
• Created: 2015-01-21T00:43:02.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2024-10-21T00:39:18.000Z (3 months ago)
• Last Synced: 2024-10-21T03:44:31.024Z (3 months ago)
• Language: C++
• Homepage: http://www.minizinc.org
• Size: 2.82 MB
• Stars: 144
• Watchers: 16
• Forks: 22
• Open Issues: 22
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        


  

    

  

  
MiniZinc IDE


  


    Integrated development environment for the high-level constraint modelling language

    MiniZinc.

    


    


    MiniZinc Compiler

    ·

    Documentation

    ·

    Report Bug

  


  


    

  


## Getting started

Packages for Linux, macOS and Windows can be found in the [releases](https://github.com/MiniZinc/MiniZincIDE/releases) or from [the MiniZinc

website](http://www.minizinc.org/software.html).

These packages contain the MiniZinc IDE, the MiniZinc compiler toolchain, as well as several solvers.

For more detailed installation instructions, see the [documentation](https://www.minizinc.org/doc-latest/en/installation.html).

## Building from source

The MiniZinc IDE is a [Qt](https://www.qt.io/) project and requires:

- A recent C++ compiler

- [Qt](https://www.qt.io/) (we target the latest LTS Qt version)

  - We also require the [Qt WebSockets](https://doc.qt.io/qt-6/qtwebsockets-index.html) module

- [Make](https://www.gnu.org/software/make/)

Ensure you clone the repository including submodules:

```sh

git clone --recurse-submodules https://github.com/MiniZinc/MiniZincIDE

cd MiniZincIDE

```

Then either build open the project (`MiniZincIDE.pro`) in Qt Creator and build, or from the command line:

```sh

mkdir build

cd build

qmake -makefile ../MiniZincIDE/MiniZincIDE.pro

make -j4

```

See the [MiniZinc compiler project](https://github.com/MiniZinc/libminizinc) for instructions on how to build the compiler toolchain.

### Running tests

The IDE has a test suite which can be compiled and run with:

```sh

mkdir test

cd test

qmake -makefile ../tests/tests.pro

make -j4

make check

```