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:

monado-gui
mona
libcoq-reglang
mapsembler2
libyuv0-dbgsym
libz3-dev
dvb-tools
libjs-asciimathml
libyuv-utils-dbgsym
libz3-4
z3

Převádí LTL formule na Büchovy automaty

Tento software převádí formule lineární temporální logiky (ltl) na zobecněné Büchovy automaty. Výsledné automaty se dají použít například pro kontrolu modelu, kde automat reprezentuje ověřovanou vlastnost modelu (např. petriho síť).

Other Packages Related to lbt

depends

recommends

suggests

enhances

dep: libc6 (>= 2.7)

Knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.0)

Knihovna pro překladač GCC
dep: libstdc++6 (>= 5)

GNU Standard C++ Library 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]