Package: lbt (1.2.2-7) [debports]

Links for lbt

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.tcs.hut.fi]

Similar packages:

Convierte fórmulas LTL a autómatas de Büchi

Este programa convierte una fórmula de lógica lineal temporal (ltl) a un autómata generalizado de Büchi. El autómata resultante se puede usar, por ejemplo, en comprobación de modelos, donde representa una propiedad que debe verificar un modelo (p. ej. una red de Petri).

Other Packages Related to lbt

depends

recommends

suggests

enhances

dep: libc6 (>= 2.7)

Biblioteca de C de GNU: Bibliotecas compartidas
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.0)

Biblioteca de ayuda de GCC
dep: libstdc++6 (>= 5)

biblioteca estándar de C++ de GNU v3

rec: graphviz

rich set of graph drawing tools

Download lbt

Download for all available architectures
Architecture	Package Size	Installed Size	Files
sparc64 (unofficial port)	25.9 kB	89.0 kB	[list of files]