Paketti: libppl-swi (1:1.2-8.1 ja muut)

Links for libppl-swi

eLxr Patch Tracker

Imuroi lähdekoodipaketti ppl:

Ylläpitäjät:

External Resources:

Kotisivu [www.cs.unipr.it]

Samankaltaisia paketteja:

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.

Muut pakettiin libppl-swi liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library (C++ bindings)
dep: libppl14 (= 1:1.2-8.1+b3)

Parma Polyhedra Library (runtime library)
dep: libstdc++6 (>= 13.1)

GNU Standard C++ Library v3
dep: libswipl9t64

näennäispaketti, jonka toteuttaa swi-prolog-core
dep: swi-prolog

ISO/Edinburgh-style Prolog interpreter

Imuroi libppl-swi

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	1:1.2-8.1+b3	3,379.6 kt	28,867.0 kt	[tiedostoluettelo]
arm64	1:1.2-8.1+b3	2,769.2 kt	25,916.0 kt	[tiedostoluettelo]