Source: libbiddy1
Section: libs
Priority: extra
Maintainer: Robert Meolic <meolic@uni-mb.si>
Build-Depends: debhelper (>= 8.0.0)
Standards-Version: 3.9.3

Package: libbiddy1-dev
Section: libdevel
Architecture: any
Depends: libbiddy1 (= ${binary:Version}), ${misc:Depends}
Description: Multi-platform academic BDD package
 http://lms.uni-mb.si/biddy/
 Biddy is a special purpose mathematical library (Binary Decision
 Diagrams package). It uses ROBDDs with complement edges. Biddy is
 oriented towards readable and comprehensible source code in C.
 Biddy is used in EST, a tool for formal verification of systems.
 This package contains the development headers, only.

Package: libbiddy1
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: Multi-platform academic BDD package
 http://lms.uni-mb.si/biddy/
 Biddy is a special purpose mathematical library (Binary Decision
 Diagrams package). It uses ROBDDs with complement edges. Biddy is
 oriented towards readable and comprehensible source code in C.
 Biddy is used in EST, a tool for formal verification of systems.
