[ Source: buddy ]
Package: libbdd0c2 (2.4+dfsg-2)
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.27) [riscv64]
- បណ្ណាល័យ C GNU ៖ បណ្ណាល័យដែលចែករំលែក
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.29) [not alpha, ia64, riscv64, sh4]
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.29) [alpha]
- បណ្ណាល័យ C GNU ៖ បណ្ណាល័យដែលចែករំលែក
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, ia64, m68k]
- បណ្ណាល័យគាំទ្រ GCC
- 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: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
Download libbdd0c2
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 54.5 kB | 216.0 kB | [list of files] |
| amd64 | 54.8 kB | 144.0 kB | [list of files] |
| arm64 | 51.3 kB | 152.0 kB | [list of files] |
| armel | 46.6 kB | 123.0 kB | [list of files] |
| armhf | 46.6 kB | 99.0 kB | [list of files] |
| hppa (unofficial port) | 51.2 kB | 149.0 kB | [list of files] |
| i386 | 56.8 kB | 150.0 kB | [list of files] |
| ia64 (unofficial port) | 66.7 kB | 267.0 kB | [list of files] |
| m68k (unofficial port) | 44.6 kB | 119.0 kB | [list of files] |
| mips64el | 47.4 kB | 161.0 kB | [list of files] |
| ppc64 (unofficial port) | 62.0 kB | 218.0 kB | [list of files] |
| ppc64el | 60.6 kB | 216.0 kB | [list of files] |
| riscv64 | 56.4 kB | 128.0 kB | [list of files] |
| s390x | 57.7 kB | 164.0 kB | [list of files] |
| sh4 (unofficial port) | 55.1 kB | 151.0 kB | [list of files] |
| sparc64 (unofficial port) | 46.7 kB | 1,052.0 kB | [list of files] |
| x32 (unofficial port) | 53.7 kB | 139.0 kB | [list of files] |