Package: libbdd0c2 (2.4+dfsg-2) [debports]
Links for libbdd0c2
Debian Resources:
Download Source Package :
Not foundMaintainers:
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.37)
- GNU C könyvtár: megosztott könyvtárak
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC támogató programkönyvtár
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
Download libbdd0c2
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
sh4 (unofficial port) | 55.1 kB | 151.0 kB | [list of files] |