Pakiet: lbt (1.2.2-7)
Odnośniki dla lbt
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego lbt:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [www.tcs.hut.fi]
Podobne pakiety:
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).
Inne pakiety związane z lbt
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.7) [nie amd64, arm64, ppc64el]
-
- dep: libstdc++6 (>= 5)
- Standardowa biblioteka GNU C++, wersja 3
-
- rec: graphviz
- rich set of graph drawing tools
Pobieranie lbt
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
amd64 | 29,9 KiB | 100,0 KiB | [lista plików] |
arm64 | 28,7 KiB | 88,0 KiB | [lista plików] |
armel | 26,0 KiB | 82,0 KiB | [lista plików] |
armhf | 26,3 KiB | 66,0 KiB | [lista plików] |
i386 | 31,0 KiB | 102,0 KiB | [lista plików] |
mips64el | 28,5 KiB | 97,0 KiB | [lista plików] |
mipsel | 28,2 KiB | 90,0 KiB | [lista plików] |
ppc64el | 31,2 KiB | 168,0 KiB | [lista plików] |
s390x | 28,0 KiB | 96,0 KiB | [lista plików] |