Source: est2ed
Section: math
Priority: extra
Maintainer: Robert Meolic <meolic@uni-mb.si>
Build-Depends: debhelper (>= 8.0.0), bison, flex, tcl-dev, tk-dev, libbiddy1-dev
Standards-Version: 3.9.3

Package: est2ed
Section: math
Architecture: any
Depends: tcl, tk, libbiddy1, ${shlibs:Depends}, ${misc:Depends}
Description: Efficient Symbolic Tools 2nd Edition
 EST is a tool for the formal verification of systems.
 EST is a collection of algorithms based on binary decision diagrams (BDDs).
 Currently, it supports only our own BDD package called Biddy, but one day
 it could support other BDD packages, too.
 http://lms.uni-mb.si/EST/
 This package includes simple Tcl/Tk GUI called My Interface.
