Пакет: minizinc-ide (2.1.7-1)

[ Источник: minizinc-ide  ]

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.

Теги: Инструментарий интерфейса: Qt

Другие пакеты, относящиеся к minizinc-ide

• dep: libc6 (>= 2.14) [amd64]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.4) [armhf, i386]

• dep: libgcc1 (>= 1:3.0) [amd64, arm64]

  вспомогательная библиотека GCC

  dep: libgcc1 (>= 1:3.5) [armhf]

  dep: libgcc1 (>= 1:4.2) [i386]

• dep: libgl1 [не armhf]

  работа с GL — поддержка старых программ

• dep: libgles2 [armhf]

  Vendor neutral GL dispatch library -- GLESv2 support
  также виртуальный пакет, предоставляемый mali-t62x-fbdev-driver, mali-t62x-wayland-driver, mali-t62x-x11-driver, mali-t76x-fbdev-driver, mali-t76x-wayland-driver, mali-t76x-x11-driver

• dep: libqt5core5a (>= 5.7.0) [arm64, armhf]

  Qt 5 core module

  dep: libqt5core5a (>= 5.9.0~beta) [amd64, i386]

• dep: libqt5gui5 (>= 5.2.0)

  Qt 5 GUI module

• dep: libqt5network5 (>= 5.0.2)

  Qt 5 network module

• dep: libqt5webkit5 (>= 5.6.0~rc)

  Web content engine library for Qt

• dep: libqt5widgets5 (>= 5.2.0~alpha1)

  Qt 5 widgets module

• dep: libstdc++6 (>= 5.2)

  стандартная библиотека GNU C++ версии 3

• dep: minizinc

  constraint modelling language and tool chain

Загрузка minizinc-ide

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	244,2 Кб	735,0 Кб	[список файлов]
arm64	233,2 Кб	756,0 Кб	[список файлов]
armhf	227,8 Кб	588,0 Кб	[список файлов]
i386	260,2 Кб	755,0 Кб	[список файлов]