[ 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:
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).
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) [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]
- 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) [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) [riscv64]
- libreria GNU Standard C++, versione 3
- dep: libstdc++6 (>= 5) [not riscv64]
-
- rec: graphviz
- ricco insieme di strumenti per il disegno di grafi
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] |