すべてのオプション
[  bianca  ]
[ ソース: boolector  ]

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

boolector に関するリンク

Screenshot

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

メンテナ:

外部の資源:

類似のパッケージ:

SMT solver for bit-vectors and arrays

Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.

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

  • 依存
  • 推奨
  • 提案
  • enhances

boolector のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 301.8 kB786.0 kB [ファイル一覧]
arm64 257.9 kB786.0 kB [ファイル一覧]