Paketti: lbt (1.2.2-7)

Links for lbt

Trisquel-palvelut:

Install using apturl
Entry at directory.fsf.org
Vikailmoitukset
Changelog
Tekijänoikeustiedosto

Imuroi lähdekoodipaketti lbt:

[lbt_1.2.2-7.dsc]
[lbt_1.2.2.orig.tar.gz]
[lbt_1.2.2-7.debian.tar.xz]

Ylläpitäjä:

Debian Science Maintainers (Mail Archive)

Original Maintainers:

Debian Science Maintainers (Mail Archive)
Ralf Treinen

External Resources:

Kotisivu [www.tcs.hut.fi]

Samankaltaisia paketteja:

mapsembler2
libz3-dev
dvb-tools
z3
libjs-asciimathml
libz3-4
frama-c
frama-c-base
tcm
cafeobj
tcm-doc

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

dep: libc6 (>= 2.7)

GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libstdc++6 (>= 5)

GNU Standard C++ Library v3

rec: graphviz

rich set of graph drawing tools

Imuroi lbt

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
armhf	25.6 kt	65 kt	[tiedostoluettelo]

Sections