libbdd0c2 - 2.4+dfsg-1 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 Science Maintainers <debian-science-maintainers [꩜] lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 147.5 kB
Architectures: amd64  arm64 

 

Versions

2.4+dfsg-1 amd64 2.4+dfsg-1 arm64