Пакунок: gecode-flatzinc (6.2.0+git20240207-2)

Links for gecode-flatzinc

Debian Resources:

Download Source Package gecode-snapshot:

Maintainer:

Kari Pahula (QA Page)

External Resources:

Homepage [www.gecode.org]

Similar packages:

constraint problem modelling language

FlatZinc is a low-level modelling language for constraint problems. It is designed to be easily interfaceable to constraint solvers (like Gecode). For more information on FlatZinc, please refer to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.

Інші пакунки пов'язані з gecode-flatzinc

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38) [not alpha, loong64]

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.40) [loong64]
dep: libc6.1 (>= 2.38) [alpha]

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6.1-udeb
dep: libgcc-s1 (>= 3.0) [not alpha, armel, armhf, hppa, i386, riscv64, sparc64]

Допоміжна бібліотека GCC

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 7) [i386]
dep: libgcc-s4 (>= 4.1.1) [hppa]

Допоміжна бібліотека GCC
dep: libmpfr6 (>= 3.1.3)

Обчислення з плаваючою комою з високою точністю
dep: libqt6core6t64 (>= 6.7.2)

Qt 6 core module
dep: libqt6gui6 (>= 6.1.2)

Qt 6 GUI module
dep: libqt6printsupport6 (>= 6.1.2)

Qt 6 print support module
dep: libqt6widgets6 (>= 6.3.0)

Qt 6 widgets module
dep: libstdc++6 (>= 14)

Стандартна бібліотека C++ GNU, версії 3

rec: minizinc

constraint modelling language and tool chain

Завантажити gecode-flatzinc

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	2,661.0 kB	16,584.0 kB	[список файлів]
amd64	2,900.3 kB	15,157.0 kB	[список файлів]
arm64	2,498.4 kB	14,830.0 kB	[список файлів]
armel	2,376.8 kB	14,070.0 kB	[список файлів]
armhf	2,485.6 kB	10,166.0 kB	[список файлів]
hppa (unofficial port)	2,814.7 kB	15,738.0 kB	[список файлів]
i386	3,036.5 kB	15,226.0 kB	[список файлів]
loong64 (unofficial port)	2,678.3 kB	15,597.0 kB	[список файлів]
mips64el	2,357.9 kB	17,209.0 kB	[список файлів]
ppc64 (unofficial port)	2,688.6 kB	19,188.0 kB	[список файлів]
ppc64el	2,804.1 kB	18,221.0 kB	[список файлів]
riscv64	2,809.6 kB	12,025.0 kB	[список файлів]
s390x	3,355.9 kB	17,637.0 kB	[список файлів]
sparc64 (unofficial port)	2,217.5 kB	15,632.0 kB	[список файлів]
x32 (unofficial port)	2,835.4 kB	14,235.0 kB	[список файлів]