[ bianca ]

[ Källkod: buddy ]

Paket: libbdd0c2 (2.4+dfsg-2 och andra)

Länkar för libbdd0c2

eLxr Patch Tracker

Hämta källkodspaketet buddy:

Ansvarig:

Debian QA Group

Externa resurser:

Hemsida [buddy.sourceforge.net]

Liknande paket:

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.

Andra paket besläktade med libbdd0c2

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.29)

GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libgcc-s1 (>= 3.0)

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

GNU Standard C++ Library v3

Hämta libbdd0c2

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	2.4+dfsg-2	54,8 kbyte	144,0 kbyte	[filförteckning]
arm64	2.4+dfsg-2+b2	52,0 kbyte	152,0 kbyte	[filförteckning]