Source Package: lbt (1.2.2-4)
The following binary packages are built from this source package:
- lbt
- converts from LTL formulas to Büchi automata
Other Packages Related to lbt
|
|
-
- adep: debhelper (>= 7.0)
- helper programs for debian/rules
Download lbt
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| lbt_1.2.2-4.dsc | 0.9 kB | ae6b6040fdd7252836950facac9c7628 |
| lbt_1.2.2.orig.tar.gz | 20.1 kB | 4e3315451d465fd941e81822e53aa2a0 |
| lbt_1.2.2-4.diff.gz | 2.3 kB | 66f9bbd6ef4f3ddbce20770c6dc238c0 |