libbdd0c2 - 2.4-11+b1 main

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.

Priority: optional
Section: libs
Suites: amber byzantium crimson dawn landing 
Maintainer: Debian QA Group <packages [꩜] qa.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 130.0 kB
Architectures: amd64  arm64 

 

Versions

2.4-11+b1 arm64 2.4-11+b1 amd64