Package: libbdd0c2
Source: buddy
Version: 2.4+dfsg-2build2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 151
Depends: libc6 (>= 2.38), 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.
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
