- libc6 (>= 2.17)
- libgcc1 (>= 1:3.0)
- libgl1
- libqt5core5a (>= 5.7.0)
- libqt5gui5 (>= 5.2.0)
- libqt5network5 (>= 5.0.2)
- libqt5webkit5 (>= 5.6.0~rc)
- libqt5widgets5 (>= 5.2.0~alpha1)
- libstdc++6 (>= 5.2)
- minizinc
The MiniZinc IDE is a simple Integrated Development Environment for
writing and running MiniZinc models. It provides a tabbed editor with
MiniZinc syntax highlighting, configuration dialogs for solver
options and model parameters, and an integrated environment for
compiling models and running solvers.
Installed Size: 774.1 kB
Architectures: arm64 amd64