Package - lbt
Primary informations
Download package: http://deb.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-7_amd64.deb (Size: 29.9KiB)| Property | Value |
|---|---|
| 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 |
Files in package
- /usr/bin/lbt
- /usr/bin/lbt2dot
- /usr/share/doc-base/lbt
- /usr/share/doc/lbt/changelog.Debian.gz
- /usr/share/doc/lbt/changelog.gz
- /usr/share/doc/lbt/copyright
- /usr/share/doc/lbt/index.html
- /usr/share/doc/lbt/notgp0-opt.png
- /usr/share/doc/lbt/notgp0.png
- /usr/share/man/man1/lbt.1.gz
- /usr/share/man/man1/lbt2dot.1.gz