| Paketname | libbdd0c2 |
| Beschreibung | Binary decision-diagram library (runtime) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 2.4-7 |
| Sektion | libs |
| Priorität | optional |
| Installierte Größe | 160 Byte |
| Hängt ab von | libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) |
| Empfohlene Pakete | |
| Paketbetreuer | Jens Peter Secher |
| Quelle | buddy |
| Paketgröße | 55430 Byte |
| Prüfsumme MD5 | 1b70cd8d701c79bbe944ce4b5387d2ae |
| Prüfsumme SHA1 | 7fff1f0829112c1871ece98799d6e26a7f34c7d0 |
| Prüfsumme SHA256 | 111465d910a335581fd2b7c3d9333fb5e3001fa552127a9304fe1a0c78b68ea7 |
| Link zum Herunterladen | libbdd0c2_2.4-7_i386.deb |
| Ausführliche Beschreibung | 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.
|