Package: libbdd0c2 (2.4-11 and others)

[ Source: 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.

Tags: Role: Shared Library

Other Packages Related to libbdd0c2

• dep: libc6 (>= 2.17)

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

• dep: libgcc1 (>= 1:3.0)

  Package not available

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

  GNU Standard C++ Library v3

Download libbdd0c2

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
arm64	2.4-11+b3	50.7 kB	138.0 kB	[list of files]