Paketti: libbdd0c2 (2.4-11)
Links for libbdd0c2
Trisquel-palvelut:
Imuroi lähdekoodipaketti buddy:
Ylläpitäjä:
Original Maintainer:
- Debian QA Group
External Resources:
- Kotisivu [buddy.sourceforge.net]
Samankaltaisia paketteja:
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.
Muut pakettiin libbdd0c2 liittyvät paketit
|
|
|
-
- dep: libc6 (>= 2.11)
- GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.2.1)
- GNU Standard C++ Library v3
Imuroi libbdd0c2
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
amd64 | 50.2 kt | 144 kt | [tiedostoluettelo] |