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

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

Links for libbdd0c2

Screenshot

Debian Resources:

Download Source Package :

Not found

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
sh4 (unofficial port) 55.1 kB151.0 kB [list of files]