[ aria ] [ bianca ]

[ Zdroj: buddy ]

Balík: libbdd0c2 (2.4+dfsg-1)

Odkazy pre libbdd0c2

Sledovanie záplat eLxr

Stiahnuť zdrojový balík buddy:

Správcovia:

Externé zdroje:

Domovská stránka [buddy.sourceforge.net]

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libbdd0c2

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.29)

GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libgcc-s1 (>= 3.0)

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

GNU Standard C++ Library v3

Stiahnuť libbdd0c2

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
arm64	51.3 kB	152.0 kB	[zoznam súborov]