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

[ ソース: boolector  ]

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

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

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

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

• dep: libc6 (>= 2.34) [alpha, ia64, sh4 以外]

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

  dep: libc6 (>= 2.36) [sh4]

• dep: libc6.1 (>= 2.33) [alpha]

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

  dep: libc6.1 (>= 2.35) [ia64]

boolector のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	1.5.118.6b56be4.121013-1.3	290.0 kB	979.0 kB	[ファイル一覧]
amd64	1.5.118.6b56be4.121013-1.3	301.8 kB	786.0 kB	[ファイル一覧]
arm64	1.5.118.6b56be4.121013-1.3	257.9 kB	786.0 kB	[ファイル一覧]
armel	1.5.118.6b56be4.121013-1.3	249.4 kB	721.0 kB	[ファイル一覧]
armhf	1.5.118.6b56be4.121013-1.3	255.6 kB	529.0 kB	[ファイル一覧]
hppa (非公式の移植版)	1.5.118.6b56be4.121013-1.3	282.6 kB	803.0 kB	[ファイル一覧]
i386	1.5.118.6b56be4.121013-1.3	312.1 kB	889.0 kB	[ファイル一覧]
ia64 (非公式の移植版)	1.5.118.6b56be4.121013-1.3	391.7 kB	1,800.0 kB	[ファイル一覧]
m68k (非公式の移植版)	1.5.118.6b56be4.121013-1.3	236.0 kB	705.0 kB	[ファイル一覧]
mips64el	1.5.118.6b56be4.121013-1.3	272.8 kB	878.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	1.5.118.6b56be4.121013-1.3	301.6 kB	1,043.0 kB	[ファイル一覧]
ppc64el	1.5.118.6b56be4.121013-1.3	310.1 kB	978.0 kB	[ファイル一覧]
riscv64	1.5.118.6b56be4.121013-1.3+b2	301.6 kB	611.0 kB	[ファイル一覧]
s390x	1.5.118.6b56be4.121013-1.3	279.7 kB	890.0 kB	[ファイル一覧]
sh4 (非公式の移植版)	1.5.118.6b56be4.121013-1.3	300.1 kB	593.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	1.5.118.6b56be4.121013-1.3	249.9 kB	1,044.0 kB	[ファイル一覧]
x32 (非公式の移植版)	1.5.118.6b56be4.121013-1.3	294.7 kB	761.0 kB	[ファイル一覧]