Package: libbdd-dev
Source: buddy
Version: 2.4+dfsg-2build1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 846
Depends: libbdd0c2 (= 2.4+dfsg-2build1), libc6-dev | libc-dev
Section: libdevel
Priority: optional
Homepage: https://buddy.sourceforge.net/manual/main.html
Description: Binary decision-diagram library (development)
 Binary decision diagrams (BDDs) are space-efficient encodings of
 boolean expressions or dynamic truth tables, used in eg. model
 checking.  BuDDy is an efficient BDD library with all the standard
 BDD operations, dynamic reordering of variables, automated garbage
 collection, a C++ interface with automatic reference counting, and
 more.
 .
 libbdd-dev is the BuDDy development package containing a static
 library and the include files needed for building applications using
 BuDDy.
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
