Package: libbdd0c2 (2.4-11build1)
Links for libbdd0c2
Trisquel Resources:
Download Source Package buddy:
Maintainer:
Original Maintainer:
- Debian QA Group
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.29)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [not armhf]
- GCC support library
- dep: libgcc-s1 (>= 3.5) [armhf]
-
- dep: libstdc++6 (>= 4.9)
- GNU Standard C++ Library v3
Download libbdd0c2
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 50.2 kB | 136 kB | [list of files] |
arm64 | 47.6 kB | 132 kB | [list of files] |
armhf | 43.5 kB | 91 kB | [list of files] |
ppc64el | 58.5 kB | 216 kB | [list of files] |