[ Source: buddy ]
Package: libbdd0c2 (2.4-11 and others)
Links for libbdd0c2
Debian Resources:
Download Source Package buddy:
Maintainer:
External Resources:
- Homepage [buddy.sourceforge.net]
Similar packages:
Binary decision-diagram library (runtime)
Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library.
Other Packages Related to libbdd0c2
|
|
|
|
-
- dep: libc6 (>= 2.11) [not arm64]
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
-
- dep: libgcc1 (>= 1:4.1.1) [amd64, i386]
- GCC 기능 지원 라이브러리
- dep: libgcc1 (>= 1:4.4.0) [armhf]
- dep: libgcc1 (>= 1:4.7) [arm64]
-
- dep: libstdc++6 (>= 4.2.1) [not armhf]
- GNU 표준 C++ 라이브러리 v3
- dep: libstdc++6 (>= 4.3.0) [armhf]
Download libbdd0c2
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 2.4-11+b1 | 53.3 kB | 139.0 kB | [list of files] |
| arm64 | 2.4-11+b1 | 45.3 kB | 127.0 kB | [list of files] |
| armhf | 2.4-11+b1 | 46.7 kB | 98.0 kB | [list of files] |
| i386 | 2.4-11+b1 | 55.3 kB | 145.0 kB | [list of files] |