Package: 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.

Other Packages Related to libbdd0c2

• dep: libc6.1 (>= 2.37)

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6.1-udeb

• dep: libgcc-s1 (>= 4.2)

  GCC 기능 지원 라이브러리

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

  GNU 표준 C++ 라이브러리 v3

• dep: libunwind8

  library to determine the call-chain of a program - runtime

Download libbdd0c2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	66.7 kB	267.0 kB	[list of files]