Package: lbt (1.2.2-7 and others)

[ Source: lbt  ]

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

• dep: libc6 (>= 2.11) [hppa]

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

  dep: libc6 (>= 2.14) [amd64]

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [ppc64el]

  dep: libc6 (>= 2.30) [sh4]

  dep: libc6 (>= 2.34) [riscv64]

  dep: libc6 (>= 2.36) [loong64]

  dep: libc6 (>= 2.38) [arm64]

  dep: libc6 (>= 2.7) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]

• dep: libc6.1 (>= 2.30) [ia64]

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

  dep: libc6.1 (>= 2.7) [alpha]

• dep: libgcc-s1 (>= 3.0) [loong64, sh4, sparc64]

  Knihovna pro překladač GCC

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  Knihovna pro překladač GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  Knihovna pro překladač GCC

• dep: libstdc++6 (>= 11) [arm64, loong64, riscv64]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 5) [not arm64, loong64, riscv64]

• rec: graphviz

  rich set of graph drawing tools

Download lbt

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.2.2-7	30.0 kB	104.0 kB	[list of files]
amd64	1.2.2-7	29.9 kB	100.0 kB	[list of files]
arm64	1.2.2-7+b1	31.6 kB	169.0 kB	[list of files]
armel	1.2.2-7	26.0 kB	82.0 kB	[list of files]
armhf	1.2.2-7	26.3 kB	66.0 kB	[list of files]
hppa (unofficial port)	1.2.2-7	28.6 kB	87.0 kB	[list of files]
i386	1.2.2-7	31.0 kB	102.0 kB	[list of files]
ia64 (unofficial port)	1.2.2-7	35.7 kB	136.0 kB	[list of files]
loong64 (unofficial port)	1.2.2-7	29.2 kB	104.0 kB	[list of files]
m68k (unofficial port)	1.2.2-7	25.3 kB	86.0 kB	[list of files]
mips64el	1.2.2-7	28.5 kB	97.0 kB	[list of files]
ppc64 (unofficial port)	1.2.2-7	31.2 kB	168.0 kB	[list of files]
ppc64el	1.2.2-7	31.2 kB	168.0 kB	[list of files]
riscv64	1.2.2-7+b1	30.8 kB	89.0 kB	[list of files]
s390x	1.2.2-7	28.0 kB	96.0 kB	[list of files]
sh4 (unofficial port)	1.2.2-7	28.5 kB	70.0 kB	[list of files]
sparc64 (unofficial port)	1.2.2-7	25.9 kB	89.0 kB	[list of files]
x32 (unofficial port)	1.2.2-7	29.8 kB	94.0 kB	[list of files]