[ 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)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- Package not available
-
- dep: libstdc++6 (>= 4.9)
- libreria GNU Standard C++, versione 3
Download libbdd0c2
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
s390x | 2.4-11+b3 | 51.0 kB | 150.0 kB | [list of files] |