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

Package: 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/>.

Other Packages Related to 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

Download libgecodeflatzinc49

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 206.8 kB783 kB [list of files]
arm64 179.4 kB698 kB [list of files]
armhf 173.2 kB497 kB [list of files]
ppc64el 198.3 kB918 kB [list of files]