Paket: libbdd0c2 (2.4+dfsg-2 und andere)

Links für libbdd0c2

eLxr Patch-Überblick

Quellcode-Paket buddy herunterladen:

[buddy_2.4+dfsg-2.debian.tar.xz]
[buddy_2.4+dfsg-2.dsc]
[buddy_2.4+dfsg.orig.tar.xz]

Betreuer:

Debian QA Group

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.

Andere Pakete mit Bezug zu libbdd0c2

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.29)

GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libstdc++6 (>= 13.1)

GNU Standard C++ Library v3

libbdd0c2 herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
arm64	2.4+dfsg-2+b2	52,0 kB	152,0 kB	[Liste der Dateien]