[ Source: buddy ]
Paketti: libbdd0c2 (2.4-11 ja muut)
Links for libbdd0c2
Debian-palvelut:
Imuroi lähdekoodipaketti buddy:
Ylläpitäjä:
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-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- Paketti ei saatavilla
-
- dep: libstdc++6 (>= 4.9)
- GNU standardi C++ -kirjasto, versio 3
Imuroi libbdd0c2
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
amd64 | 2.4-11+b3 | 53.1 kt | 138.0 kt | [tiedostoluettelo] |