[ Source: ppl ]
Package: libppl14 (1:1.2-8.1 and others)
Links for libppl14
Debian Resources:
Download Source Package ppl:
Maintainers:
External Resources:
- Homepage [www.cs.unipr.it]
Similar packages:
파르마 다면체 라이브러리 (런타임 라이브러리)
파르마 다면체 라이브러리 (PPL)은 볼록 다면체 및 다른 기타 수치 추상화 (반드 시 그런것은 아닙니다) 조작을 위한 C++ 라이브러리입니다. 볼록 다면체의 어플 리케이션은 프로그램 분석, 최적화된 컴파일, 정수 및 조합 최적화, 그리고 통계 데이타 편집을 포함합니다. 파르마 다면체 라이브러리는 사용자 친화적 (사용자 가 `x + 2*y + 5*z <= 7'을 의미한다면 그것을 쓸 수 있습니다)이고, 완전히 동 적 (사용가능한 가상 메모리가 임의 크기에 대한 유일한 제약입니다) 이며, C++ 표준으로 작성되었으며, 예외에 안전하고, 상당히 효율적이고 그리고 철저히 문 서화되었습니다.
Other Packages Related to libppl14
|
|
|
|
-
- dep: libc6 (>= 2.11) [hppa, i386]
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
- dep: libc6 (>= 2.16) [x32]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.27) [riscv64]
- dep: libc6 (>= 2.34) [armel, armhf, m68k]
- dep: libc6 (>= 2.37) [sh4]
- dep: libc6 (>= 2.4) [mips64el, ppc64, s390x, sparc64]
-
- dep: libc6.1 (>= 2.1.3) [alpha]
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.29) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, i386, mips64el, ppc64, ppc64el, s390x, x32]
- GCC 기능 지원 라이브러리
- dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sh4, sparc64]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC 기능 지원 라이브러리
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC 기능 지원 라이브러리
-
- dep: libgmp10 [hppa, ia64]
- Multiprecision 연산 라이브러리
- dep: libgmp10 (>= 2:6.3.0+dfsg) [not hppa, ia64]
-
- dep: libgmpxx4ldbl [hppa, ia64]
- Multiprecision 연산 라이브러리 (C++ 바인딩)
- dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg) [not hppa, ia64]
-
- dep: libstdc++6 (>= 13.1) [not hppa, ia64]
- GNU 표준 C++ 라이브러리 v3
- dep: libstdc++6 (>= 9) [hppa, ia64]
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
Download libppl14
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 1:1.2-8.1+b2 | 586.9 kB | 1,726.0 kB | [list of files] |
| amd64 | 1:1.2-8.1+b2 | 614.7 kB | 1,485.0 kB | [list of files] |
| arm64 | 1:1.2-8.1+b2 | 569.4 kB | 1,469.0 kB | [list of files] |
| armel | 1:1.2-8.1+b2 | 547.6 kB | 1,356.0 kB | [list of files] |
| armhf | 1:1.2-8.1+b2 | 548.3 kB | 1,352.0 kB | [list of files] |
| hppa (unofficial port) | 1:1.2-8.1 | 632.8 kB | 1,726.0 kB | [list of files] |
| i386 | 1:1.2-8.1+b2 | 653.7 kB | 1,532.0 kB | [list of files] |
| ia64 (unofficial port) | 1:1.2-8 | 684.3 kB | 2,795.0 kB | [list of files] |
| m68k (unofficial port) | 1:1.2-8.1+b2 | 603.7 kB | 1,484.0 kB | [list of files] |
| mips64el | 1:1.2-8.1+b2 | 547.1 kB | 1,656.0 kB | [list of files] |
| ppc64 (unofficial port) | 1:1.2-8.1+b2 | 623.6 kB | 1,933.0 kB | [list of files] |
| ppc64el | 1:1.2-8.1+b2 | 625.2 kB | 1,789.0 kB | [list of files] |
| riscv64 | 1:1.2-8.1+b2 | 617.5 kB | 1,234.0 kB | [list of files] |
| s390x | 1:1.2-8.1+b2 | 631.5 kB | 1,621.0 kB | [list of files] |
| sh4 (unofficial port) | 1:1.2-8.1+b2 | 662.8 kB | 1,400.0 kB | [list of files] |
| sparc64 (unofficial port) | 1:1.2-8.1+b2 | 530.9 kB | 2,326.0 kB | [list of files] |
| x32 (unofficial port) | 1:1.2-8.1+b2 | 621.6 kB | 1,420.0 kB | [list of files] |