all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: buddy  ]

Package: libbdd0c2 (2.4+dfsg-1)

Links for libbdd0c2

Screenshot

Debian Resources:

Download Source Package buddy:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download libbdd0c2

Download for all available architectures
Architecture Package Size Installed Size Files
arm64 51.3 kB152.0 kB [list of files]