Paket: libbdd0c2 (2.4-11)
Länkar för libbdd0c2
Trisquelresurser:
Hämta källkodspaketet buddy:
Ansvarig:
Original Maintainer:
- Debian QA Group
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 Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.2.1)
- GNU Standard C++ Library v3
Hämta libbdd0c2
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
amd64 | 50,2 kbyte | 144 kbyte | [filförteckning] |