Paket: libbdd0c2 (2.4+dfsg-2)

Links für libbdd0c2

Debian-Ressourcen:

Quellcode-Paket buddy herunterladen:

Betreuer:

Debian QA Group (QS-Seite)

Externe Ressourcen:

Homepage [buddy.sourceforge.net]

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.

Markierungen: Rolle: Laufzeit-Bibliothek

Andere Pakete mit Bezug zu libbdd0c2

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.29)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgcc-s1 (>= 3.5)

GCC Support-Bibliothek
dep: libstdc++6 (>= 13.1)

GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

libbdd0c2 herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
armhf	46,6 kB	99,0 kB	[Liste der Dateien]