https://github.com/MiniZinc/MiniZincIDE
The MiniZinc IDE
https://github.com/MiniZinc/MiniZincIDE
Last synced: about 1 year 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 (over 11 years ago)
- Default Branch: master
- Last Pushed: 2025-03-07T06:57:46.000Z (over 1 year ago)
- Last Synced: 2025-04-04T17:05:15.436Z (about 1 year ago)
- Language: C++
- Homepage: http://www.minizinc.org
- Size: 2.93 MB
- Stars: 148
- Watchers: 15
- Forks: 22
- Open Issues: 26
-
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
```