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

[ Source:  ]

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.

Muut pakettiin libbdd0c2 liittyvät paketit

• dep: libc6 (>= 2.29)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC:n apukirjasto

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

  GNU standardi C++ -kirjasto, versio 3

Imuroi libbdd0c2

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
sparc64 (epävirallinen siirros)	46.7 kt	1,052.0 kt	[tiedostoluettelo]