[ Source: lbt ]
Package: lbt (1.2.2-7 and others)
Links for lbt
Debian Resources:
Download Source Package lbt:
Maintainers:
External Resources:
- Homepage [www.tcs.hut.fi]
Similar packages:
Convierte fórmulas LTL a autómatas de Büchi
Este programa convierte una fórmula de lógica lineal temporal (ltl) a un autómata generalizado de Büchi. El autómata resultante se puede usar, por ejemplo, en comprobación de modelos, donde representa una propiedad que debe verificar un modelo (p. ej. una red de Petri).
Other Packages Related to lbt
|
|
|
|
-
- dep: libc6 (>= 2.11) [hppa]
- Biblioteca de C de GNU: Bibliotecas compartidas
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
- dep: libc6 (>= 2.16) [x32]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.30) [sh4]
- dep: libc6 (>= 2.34) [riscv64]
- dep: libc6 (>= 2.7) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]
-
- dep: libc6.1 (>= 2.30) [ia64]
- Biblioteca de C de GNU: Bibliotecas compartidas
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.7) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [sh4, sparc64]
- Biblioteca de ayuda de GCC
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- Biblioteca de ayuda de GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- Biblioteca de ayuda de GCC
-
- dep: libstdc++6 (>= 11) [riscv64]
- biblioteca estándar de C++ de GNU v3
- dep: libstdc++6 (>= 5) [not riscv64]
-
- rec: graphviz
- rich set of graph drawing tools
Download lbt
| 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 | 28.7 kB | 88.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] |
| 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] |