Pakiet: lbt (1.2.2-7)

Odnośniki dla lbt

Zasoby systemu Debian:

Pobieranie pakietu źródłowego lbt:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.tcs.hut.fi]

Podobne pakiety:

Konwertowanie formuł LTL na automaty Büchiego

Ten program konwertuje formułę liniowej logiki temporalnej (LTL) na uogólniony automat Büchiego. Otrzymany automat można wykorzystać np. przy sprawdzaniu modeli, gdzie reprezentuje on właściwość podlegającą weryfikacji w modelu (np. sieci Petriego).

Znaczniki: Dziedzina: Matematyka, Interfejs użytkownika: Wiersz poleceń, Rola: role::program, scope::utility, Przeznaczenie: Konwersja danych

Inne pakiety związane z lbt

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.7)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libstdc++6 (>= 5)

Standardowa biblioteka GNU C++, wersja 3

rec: graphviz

rich set of graph drawing tools

Pobieranie lbt

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
s390x	28,0 KiB	96,0 KiB	[lista plików]