Package: lbt (1.2.2-7 and others)

[ Source: lbt  ]

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

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

  Libreria C GNU: librerie condivise
  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]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

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

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

  libreria di supporto a GCC

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

  libreria di supporto a GCC

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

  libreria di supporto a GCC

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

  libreria GNU Standard C++, versione 3

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

• rec: graphviz

  ricco insieme di strumenti per il disegno di grafi

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]