パッケージ: picosat (965-2)

[ ソース: picosat  ]

proof と core サポート付き SAT ソルバ

論理式の充足可能性問題 (SAT) は NP 完全ですが、SAT ソルバはしばしばこの問題 を適度な時間で決定することができます。他のすべての NP 完全な問題は SAT に還 元することができるので、SAT ソルバはこのクラスの問題のための汎用的なツール となっています。

PicoSAT は、産業的な事例において MiniSAT 2.0 より高速であると判明した SAT ソルバです。メモリ上で proof と core を生成することもできます。

タグ: 分野: 数学, 実装言語: C, 役割: プログラム

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

• dep: libc6 (>= 2.17) [arm64, ppc64el]

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

  dep: libc6 (>= 2.7) [arm64, ppc64el 以外]

picosat のダウンロード

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

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	92.3 kB	879.0 kB	[ファイル一覧]
arm64	84.2 kB	895.0 kB	[ファイル一覧]
armel	84.9 kB	794.0 kB	[ファイル一覧]
armhf	83.4 kB	620.0 kB	[ファイル一覧]
i386	96.5 kB	866.0 kB	[ファイル一覧]
mips64el	96.0 kB	1,060.0 kB	[ファイル一覧]
mipsel	95.7 kB	913.0 kB	[ファイル一覧]
ppc64el	100.9 kB	1,261.0 kB	[ファイル一覧]
s390x	86.1 kB	893.0 kB	[ファイル一覧]