Package: minizinc-ide
Version: 2.8.5-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Kari Pahula <kaol@debian.org>
Installed-Size: 2099
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libqt5core5t64 (>= 5.15.1), libqt5gui5t64 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5network5t64 (>= 5.14.1), libqt5sql5t64 (>= 5.0.2), libqt5websockets5 (>= 5.6.0), libqt5widgets5t64 (>= 5.14.1), libstdc++6 (>= 14), minizinc (>= 2.4.1)
Section: devel
Priority: optional
Homepage: http://www.minizinc.org/ide/
Description: MiniZinc constraint modelling language IDE
 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.
