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

Package: libbiddy1-dev
Section: libdevel
Architecture: any
Depends: libbiddy1 (= ${Source-Version})
Description: A 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}
Description: A 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.
