Package: lbt (1.2.2-3 and others)

Links for lbt

Debian Resources:

Download Source Package lbt:

Maintainer:

Ralf Treinen (QA Page)

Similar packages:

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).

Tags: Field: Mathematics, User Interface: Command Line, Role: Program, Scope: Utility, Purpose: Data Conversion

Other Packages Related to lbt

depends

recommends

suggests

dep: libc6 (>= 2.3.2.ds1-21) [not alpha, amd64, hppa, ia64]

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.3.5-1) [amd64, hppa]
dep: libc6.1 (>= 2.3.2.ds1-21) [alpha, ia64]

GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
dep: libgcc1 (>= 1:4.0.0-9) [ia64, sparc]

GCC support library

dep: libgcc1 (>= 1:4.0.1) [not amd64, hppa, ia64, sparc]

dep: libgcc1 (>= 1:4.0.2) [amd64]
dep: libgcc4 (>= 4.1.1-12) [hppa]

GCC support library
dep: libstdc++6 (>= 4.0.1) [not amd64, hppa]

The GNU Standard C++ Library v3

dep: libstdc++6 (>= 4.0.2-4) [amd64]

dep: libstdc++6 (>= 4.1.1-12) [hppa]
dep: libunwind7 (>= 0.98.5-6) [ia64]

A library to determine the call-chain of a program - runtime

rec: graphviz

rich set of graph drawing tools

Download lbt

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha	1.2.2-3	38.8 kB	184 kB	[list of files]
amd64	1.2.2-3	31.7 kB	152 kB	[list of files]
arm	1.2.2-3	31.8 kB	152 kB	[list of files]
hppa	1.2.2-3+b1	34.5 kB	152 kB	[list of files]
i386	1.2.2-3	32.4 kB	122 kB	[list of files]
ia64	1.2.2-3	47.8 kB	232 kB	[list of files]
mips	1.2.2-3	35.8 kB	192 kB	[list of files]
mipsel	1.2.2-3	36.0 kB	192 kB	[list of files]
powerpc	1.2.2-3	33.0 kB	164 kB	[list of files]
s390	1.2.2-3	34.5 kB	168 kB	[list of files]
sparc	1.2.2-3	31.3 kB	152 kB	[list of files]