Skip to content
Sections
>> Trisquel >> 软件包 >> nabia >> libs >> libgecodeflatzinc49
nabia  ] [  aramo  ]
[ 源代码: gecode  ]

软件包: libgecodeflatzinc49 (6.2.0-3build1)

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 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    同时作为一个虚包由这些包填实: libc6-udeb
    dep: libc6 (>= 2.4) [armhf]
  • dep: libgcc-s1 (>= 3.0) [amd64]
    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.12.2) [amd64]
    Qt 5 core module
    dep: libqt5core5a (>= 5.3.0) [armhf]
  • dep: libstdc++6 (>= 9)
    GNU Standard C++ Library v3

下载 libgecodeflatzinc49

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 209.6 kB803 kB [文件列表]
armhf 183.0 kB517 kB [文件列表]