[ Quellcode: lbt ]
Paket: lbt (1.2.2-3) [universe]
Links für lbt
Ubuntu-Ressourcen:
Quellcode-Paket lbt herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
Ähnliche Pakete:
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).
Andere Pakete mit Bezug zu lbt
|
|
|
-
- dep: libc6 (>= 2.3.4-1)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libgcc1 (>= 1:4.0.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.0.1)
- The GNU Standard C++ Library v3
-
- rec: graphviz
- rich set of graph drawing tools
lbt herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 38,1 kB | 168,0 kB | [Liste der Dateien] |
| i386 | 31,3 kB | 160,0 kB | [Liste der Dateien] |