[ Källkod: buddy ]
Paket: libbdd0c2 (2.4+dfsg-1)
Länkar för libbdd0c2
Debianresurser:
Hämta källkodspaketet buddy:
Ansvariga:
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.29)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libgcc-s1 (>= 3.5)
- GCC stödbibliotek
-
- dep: libstdc++6 (>= 4.3)
- GNU standardbibliotek v3 för C++
Hämta libbdd0c2
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
armel | 46,3 kbyte | 123,0 kbyte | [filförteckning] |