all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: lbt  ]

Package: lbt (1.2.2-7 and others)

Links for lbt


Debian Resources:

Download Source Package lbt:


External Resources:

Similar packages:

converts from LTL formulas to Büchi automata

This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).

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

Other Packages Related to lbt

  • depends
  • recommends
  • suggests
  • enhances

Download lbt

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1.2.2-7 30.0 kB104.0 kB [list of files]
amd64 1.2.2-7 29.9 kB100.0 kB [list of files]
arm64 1.2.2-7 28.7 kB88.0 kB [list of files]
armel 1.2.2-7 26.0 kB82.0 kB [list of files]
armhf 1.2.2-7 26.3 kB66.0 kB [list of files]
hppa (unofficial port) 1.2.2-7 28.6 kB87.0 kB [list of files]
i386 1.2.2-7 31.0 kB102.0 kB [list of files]
ia64 (unofficial port) 1.2.2-7 35.7 kB136.0 kB [list of files]
m68k (unofficial port) 1.2.2-7 25.3 kB86.0 kB [list of files]
mips64el 1.2.2-7 28.5 kB97.0 kB [list of files]
ppc64 (unofficial port) 1.2.2-7 31.2 kB168.0 kB [list of files]
ppc64el 1.2.2-7 31.2 kB168.0 kB [list of files]
riscv64 1.2.2-7+b1 30.8 kB89.0 kB [list of files]
s390x 1.2.2-7 28.0 kB96.0 kB [list of files]
sh4 (unofficial port) 1.2.2-7 28.5 kB70.0 kB [list of files]
sparc64 (unofficial port) 1.2.2-7 25.9 kB89.0 kB [list of files]
x32 (unofficial port) 1.2.2-7 29.8 kB94.0 kB [list of files]