Package: libbdd0c2
Source: buddy
Version: 2.4+dfsg-2
Architecture: amd64
Maintainer: Debian QA Group <packages@qa.debian.org>
Installed-Size: 144
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Section: libs
Priority: optional
Homepage: https://buddy.sourceforge.net/manual/main.html
Description: 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.
