Pakiet: libppl-swi (1:1.2-8.1 i inne)

Odnośniki dla libppl-swi

Zasoby systemu Debian:

Pobieranie pakietu źródłowego ppl:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.cs.unipr.it]

Podobne pakiety:

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.

Znaczniki: Rola: Biblioteka współdzielona

Inne pakiety związane z libppl-swi

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.11) [hppa]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb

dep: libc6 (>= 2.38) [amd64, arm64, mips64el, ppc64, ppc64el]

dep: libc6 (>= 2.4) [armel, armhf, i386]
dep: libc6.1 (>= 2.29) [ia64]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
dep: libgcc-s1 (>= 3.0) [nie armel, armhf, hppa, ia64]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libgcc-s4 (>= 4.1.1) [hppa]

Biblioteka wspomagająca GCC
dep: libgmp10 [hppa, ia64]

Biblioteka działań arytmetycznych z dużą dokładnością

dep: libgmp10 (>= 2:6.3.0+dfsg) [nie hppa, ia64]
dep: libgmpxx4ldbl [hppa, ia64]

Multiprecision arithmetic library (C++ bindings)

dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg) [nie hppa, ia64]
dep: libppl14 (= 1:1.2-8) [ia64]

Parma Polyhedra Library (runtime library)

dep: libppl14 (= 1:1.2-8.1) [hppa]

dep: libppl14 (= 1:1.2-8.1+b2) [nie hppa, ia64]
dep: libstdc++6 (>= 13.1) [nie hppa, ia64]

Standardowa biblioteka GNU C++, wersja 3

dep: libstdc++6 (>= 9) [hppa, ia64]
dep: libswipl9t64 [nie hppa, ia64]

pakiet wirtualny udostępniany przez swi-prolog-core
dep: libunwind8 [ia64]

Biblioteka do ustalania łańcucha wywołań programu - środowisko uruchomieniowe
dep: swi-prolog

ISO/Edinburgh-style Prolog interpreter
dep: swi-prolog-nox (>= 8.0.3+dfsg) [ia64]

ISO/Edinburgh-style Prolog interpreter - without X support

dep: swi-prolog-nox (>= 8.1.28+dfsg) [hppa]

Pobieranie libppl-swi

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1:1.2-8.1+b2	3 277,1 KiB	28 536,0 KiB	[lista plików]
arm64	1:1.2-8.1+b2	2 681,8 KiB	25 847,0 KiB	[lista plików]
armel	1:1.2-8.1+b2	1 654,7 KiB	13 234,0 KiB	[lista plików]
armhf	1:1.2-8.1+b2	1 638,4 KiB	13 173,0 KiB	[lista plików]
hppa (port nieoficjalny)	1:1.2-8.1	2 859,8 KiB	25 022,0 KiB	[lista plików]
i386	1:1.2-8.1+b2	3 303,0 KiB	22 307,0 KiB	[lista plików]
ia64 (port nieoficjalny)	1:1.2-8	3 328,5 KiB	43 756,0 KiB	[lista plików]
mips64el	1:1.2-8.1+b2	2 594,8 KiB	34 328,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1:1.2-8.1+b2	2 758,3 KiB	27 588,0 KiB	[lista plików]
ppc64el	1:1.2-8.1+b2	2 814,6 KiB	27 014,0 KiB	[lista plików]