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:

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

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.14) [amd64]

Knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.7) [not amd64, arm64, ppc64el]
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
amd64	29.9 kB	100.0 kB	[list of files]
arm64	28.7 kB	88.0 kB	[list of files]
armel	26.0 kB	82.0 kB	[list of files]
armhf	26.3 kB	66.0 kB	[list of files]
i386	31.0 kB	102.0 kB	[list of files]
mips64el	28.5 kB	97.0 kB	[list of files]
mipsel	28.2 kB	90.0 kB	[list of files]
ppc64el	31.2 kB	168.0 kB	[list of files]
s390x	28.0 kB	96.0 kB	[list of files]