Skip to content
Sections
>> Trisquel >> Packages >> aramo >> libs >> libgecodeflatzinc49
nabia  ] [  aramo  ]
[ Source: gecode  ]

Пакунок: libgecodeflatzinc49 (6.2.0-5)

Gecode support for FlatZinc modelling language

Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.

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://minizinc.org/>.

Інші пакунки пов'язані з libgecodeflatzinc49

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.4) [armhf]
  • dep: libgcc-s1 (>= 3.0) [not armhf]
    GCC support library
    dep: libgcc-s1 (>= 3.5) [armhf]
  • dep: libgecode49
    generic constraint development environment
  • dep: libgecodegist49
    Gecode Interactive Search Tool library
  • dep: libqt5core5a (>= 5.14.1) [amd64]
    Qt 5 core module
    dep: libqt5core5a (>= 5.3.0) [not amd64]
  • dep: libstdc++6 (>= 9)
    GNU Standard C++ Library v3

Завантажити libgecodeflatzinc49

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 206.8 kB783 kB [список файлів]
arm64 179.4 kB698 kB [список файлів]
armhf 173.2 kB497 kB [список файлів]
ppc64el 198.3 kB918 kB [список файлів]