Package: lbt
Version: 1.2.2-7
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 87
Depends: libc6 (>= 2.17), libstdc++6 (>= 5)
Recommends: graphviz
Section: science
Priority: optional
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description: converts from LTL formulas to Büchi automata
 This software converts a linear temporal logic (ltl) formula to a
 generalised Büchi automaton. The resulting automaton may be used, for
 instance, in model checking, where it represents a property to be
 verified from a model (e.g. a Petri net).
