[ Source: lbt ]
Paketti: lbt (1.2.2-4) [universe]
Links for lbt
Ubuntu-palvelut:
Imuroi lähdekoodipaketti lbt:
Ylläpitäjä:
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.
External Resources:
- Kotisivu [www.tcs.hut.fi]
Samankaltaisia paketteja:
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).
Muut pakettiin lbt liittyvät paketit
|
|
|
-
- dep: libc6 (>= 2.7)
- Embedded GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.1.1)
- The GNU Standard C++ Library v3
-
- rec: graphviz
- rich set of graph drawing tools
Imuroi lbt
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 33.9 kt | 156.0 kt | [tiedostoluettelo] |
| i386 | 30.1 kt | 140.0 kt | [tiedostoluettelo] |