libbdd0c2 - 2.4+dfsg-2+b2 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: 155.6 kB
Architectures: amd64  arm64 

 

Versions

2.4+dfsg-2+b2 arm64 2.4+dfsg-2+b1 arm64 2.4+dfsg-2 arm64 2.4+dfsg-2 amd64