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

[ ソース: boolector ]

パッケージ: boolector (1.5.118.6b56be4.121013-1.3)

boolector に関するリンク

Debian の資源:

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

メンテナ:

Michael Tautschnig (QA ページ)

外部の資源:

ホームページ [fmv.jku.at]

類似のパッケージ:

ビットベクトルおよび配列向け SMT ソルバー

Boolector はビットベクトルの量化子フリー理論と配列の量化子フリー拡張理論を組み合わせた効率的な SMT ソルバーです。

タグ: 実装言語: C, 役割: プログラム

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

依存

推奨

提案

enhances

dep: libc6 (>= 2.34)

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

boolector のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	301.8 kB	786.0 kB	[ファイル一覧]
arm64	257.9 kB	786.0 kB	[ファイル一覧]
armel	249.4 kB	721.0 kB	[ファイル一覧]
armhf	255.6 kB	529.0 kB	[ファイル一覧]
i386	312.1 kB	889.0 kB	[ファイル一覧]
mips64el	272.8 kB	878.0 kB	[ファイル一覧]
mipsel	284.1 kB	894.0 kB	[ファイル一覧]
ppc64el	310.1 kB	978.0 kB	[ファイル一覧]
s390x	279.7 kB	890.0 kB	[ファイル一覧]