Paket: libbdd0c2 (2.4+dfsg-2) [debports]

[ Källkod:  ]

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

• dep: libc6 (>= 2.29)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libgcc-s2 (>= 4.2.1)

  GCC stödbibliotek

• dep: libstdc++6 (>= 13.1)

  GNU standardbibliotek v3 för C++

Hämta libbdd0c2

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
m68k (inofficiell anpassning)	44,6 kbyte	119,0 kbyte	[filförteckning]