[ Källkod: buddy ]
Paket: libbdd0c2 (2.4-11 och andra)
Länkar för libbdd0c2
Debianresurser:
Hämta källkodspaketet buddy:
Ansvarig:
Externa resurser:
- Hemsida [buddy.sourceforge.net]
Liknande paket:
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.
Andra paket besläktade med libbdd0c2
|
|
|
|
-
- dep: libc6 (>= 2.11)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libgcc1 (>= 1:3.5)
- Paketet inte tillgängligt
-
- dep: libstdc++6 (>= 4.9)
- GNU standardbibliotek v3 för C++
Hämta libbdd0c2
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| armhf | 2.4-11+b3 | 46,1 kbyte | 93,0 kbyte | [filförteckning] |