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/
|