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 (>= 2.29)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC support library

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

  GNU Standard C++ Library v3

Download libbdd0c2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
x32 (unofficial port)	53.7 kB	139.0 kB	[list of files]