Package: lbt (1.2.2-7)

Links for lbt

Debian Resources:

Download Source Package lbt:

Maintainers:

External Resources:

Homepage [www.tcs.hut.fi]

Similar packages:

convertitore di formule LTL in automi di Büchi

Questo software converte una formula logica temporale lineare (ltl) in un automa di Büchi generalizzato. L'automa risultante si può usare, per esempio, nel controllo di modelli, dove rappresenta una proprietà che debba essere verificata da un modello (per esempio una rete di Petri).

Tags: Field: Mathematics, User Interface: Command Line, Role: role::program, scope::utility, Purpose: Data Conversion

Other Packages Related to lbt

depends

recommends

suggests

enhances

dep: libc6 (>= 2.7)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libstdc++6 (>= 5)

libreria GNU Standard C++, versione 3

rec: graphviz

ricco insieme di strumenti per il disegno di grafi

Download lbt

Download for all available architectures
Architecture	Package Size	Installed Size	Files
s390x	28.0 kB	96.0 kB	[list of files]