| Package | lbt |
| Version | 1.2.2-7 |
| Installed-Size | 100 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.14), libstdc++6 (>= 5) |
| Recommends | graphviz |
| Description | converts from LTL formulas to Büchi automata |
| Description-md5 | 508d9fd1936ff8ef3180b19bcae38fd9 |
| Homepage | http://www.tcs.hut.fi/Software/maria/tools/lbt/ |
| Tag | field::mathematics, interface::commandline, role::program,
scope::utility, use::converting |
| Section | science |
| Priority | optional |
| Filename | pool/main/l/lbt/lbt_1.2.2-7_amd64.deb |
| Size | 30608 |
| MD5sum | f21dc8d618d34912f70475439a08faf2 |
| SHA256 | 51badb4a7d7a6f90ad9dfa401f1c09dc895a849193e2009490669e1497bde64e |