[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ ソース: ]

パッケージ: lbt (1.2.2-7) [debports]

lbt に関するリンク

Debian の資源:

バグ報告

ソースパッケージをダウンロード:

見つかりません

メンテナ:

外部の資源:

ホームページ [www.tcs.hut.fi]

類似のパッケージ:

LTL 論理式から Büchi オートマトンに変換

このソフトウェアは、線形時相論理 (ltl) 論理式を汎用の Büchi オートマトンに変換します。出力されるオートマトンは、例えば、モデルの検査に利用できるかもしれません。そのモデル検査では、オートマトンはモデル (例: ペトリネット) から検証されるプロパティを表します。

その他の lbt 関連パッケージ

依存

推奨

提案

enhances

dep: libc6 (>= 2.7)

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC 共有ライブラリ
dep: libstdc++6 (>= 5)

GNU 標準 C++ ライブラリ v3

rec: graphviz

豊富なグラフ描画ツールセット

lbt のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
sparc64 (非公式の移植版)	25.9 kB	89.0 kB	[ファイル一覧]