| Paketname | libbdd0c2 |
| Beschreibung | Binary decision-diagram library (runtime) |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 2.4-6 |
| Sektion | universe/libs |
| Priorität | optional |
| Installierte Größe | 160 Byte |
| Hängt ab von | libc6 (>= 2.6.1-1), libgcc1 (>= 1:4.2.1), libstdc++6 (>= 4.2.1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | buddy |
| Paketgröße | 53460 Byte |
| Prüfsumme MD5 | 8ab4bffa928220c0dba257e8a0b78aaf |
| Prüfsumme SHA1 | 1356a743fed0634b7a0b62d7decbffb63c6d4eb2 |
| Prüfsumme SHA256 | df3bb951191f3ce81052d7b7c94f9e1adca5267333fee7d1fc4ec524f624d386 |
| Link zum Herunterladen | libbdd0c2_2.4-6_i386.deb |
| Ausführliche Beschreibung | binary decision diagram (BDD) 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 BDD library.
.
Homepage: http://buddy.sourceforge.net/
|