Пакет: minizinc-ide (2.1.7-1 и другие) [debports]

Ссылки для minizinc-ide

Ресурсы Debian:

Сообщения об ошибках

Исходный код :

Не найден

Сопровождающие:

Внешние ресурсы:

Сайт [www.minizinc.org]

Подобные пакеты:

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.

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

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.16)

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libgcc1 (>= 1:3.0)

Пакет недоступен
dep: libqt5core5a (>= 5.12.2)

Qt 5 core module
dep: libqt5gui5 (>= 5.2.0)

Qt 5 GUI module

или libqt5gui5-gles (>= 5.2.0)

Qt 5 GUI module — OpenGL ES variant
dep: libqt5network5 (>= 5.0.2)

Qt 5 network module
dep: libqt5webkit5 (>= 5.212.0~alpha3)

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

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
x32 (неофициальный перенос)	2.1.7-1+b1	253,0 Кб	715,0 Кб	[список файлов]