Package: lbt
Architecture: amd64
Version: 1.2.2-6
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 94
Depends: libc6 (>= 2.14), libstdc++6 (>= 5)
Recommends: graphviz
Filename: pool/universe/l/lbt/lbt_1.2.2-6_amd64.deb
Size: 30066
MD5sum: 5acba0fc81b831bfc27a864d1a555095
SHA1: a3fa3134e9381271776ff2f04e7925fff43221b7
SHA256: 7a3cb1af4eba1a1f91eb784b44bcc24a79c94f1b5214921ccde285839dbc7afe
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description: converts from LTL formulas to Büchi automata
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9