Paketti: lbt (1.2.2-7 ja muut)

Links for lbt

eLxr Patch Tracker

Imuroi lähdekoodipaketti lbt:

Ylläpitäjät:

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

depends

recommends

suggests

enhances

dep: libc6 (>= 2.14) [amd64]

GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb

dep: libc6 (>= 2.38) [arm64]
dep: libstdc++6 (>= 11) [arm64]

GNU Standard C++ Library v3

dep: libstdc++6 (>= 5) [amd64]

rec: graphviz

rich set of graph drawing tools

Imuroi lbt

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	1.2.2-7	29.9 kt	100.0 kt	[tiedostoluettelo]
arm64	1.2.2-7+b1	31.6 kt	169.0 kt	[tiedostoluettelo]