DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibbdd-dev
BeschreibungBinary decision-diagram library (development)
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version2.4-7
Sektionlibdevel
Prioritätoptional
Installierte Größe712 Byte
Hängt ab vonlibbdd0c2 (= 2.4-7), libc6-dev | libc-dev
Empfohlene Pakete
PaketbetreuerJens Peter Secher
Quellebuddy
Paketgröße464024 Byte
Prüfsumme MD51cf89cbf513ea583bb1b288f62dab92b
Prüfsumme SHA16d0ad59864f1b1d7c0fab19f2265f00adb4f7dd8
Prüfsumme SHA256ecd67eb756dd0981e07fd4f16fc97d974e2689fdc667c44a2bdee696733518c6
Link zum Herunterladenlibbdd-dev_2.4-7_i386.deb
Ausführliche BeschreibungBinary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more. . libbdd-dev is the BuDDy development package containing a static library and the include files needed for building applications using BuDDy.


Impressum
Linux is a registered trademark of Linus Torvalds