全部搜索项
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 源代码: ppl  ]

软件包:libppl-swi(1:1.2-8.1 以及其他的)

libppl-swi 的相关链接

Screenshot

Debian 的资源:

下载源码包 ppl

维护小组:

外部的资源:

相似软件包:

Parma Polyhedra Library (SWI Prolog interface)

The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented.

This package provides the SWI Prolog interface.

其他与 libppl-swi 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 libppl-swi

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
mipsel 1:1.2-8.1+b1 2,331.9 kB23,919.0 kB [文件列表]