Paket: libbdd0c2 (2.4+dfsg-1)

[ Källkod: buddy  ]

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.

Märken: Role: Shared 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-s1 (>= 3.0) [ej armel, armhf, mipsel]

  GCC stödbibliotek

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [mipsel]

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

  GNU standardbibliotek v3 för C++

Hämta libbdd0c2

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	54,7 kbyte	144,0 kbyte	[filförteckning]
arm64	51,3 kbyte	152,0 kbyte	[filförteckning]
armel	46,3 kbyte	123,0 kbyte	[filförteckning]
armhf	46,7 kbyte	95,0 kbyte	[filförteckning]
i386	57,0 kbyte	150,0 kbyte	[filförteckning]
mips64el	47,6 kbyte	161,0 kbyte	[filförteckning]
mipsel	46,8 kbyte	160,0 kbyte	[filförteckning]
ppc64el	61,2 kbyte	216,0 kbyte	[filförteckning]
s390x	51,6 kbyte	156,0 kbyte	[filförteckning]