[ ソース: picosat ]
パッケージ: picosat (960-1 など)
proof と core サポート付き SAT ソルバ
論理式の充足可能性問題 (SAT) は NP 完全ですが、SAT ソルバはしばしばこの問題 を適度な時間で決定することができます。他のすべての NP 完全な問題は SAT に還 元することができるので、SAT ソルバはこのクラスの問題のための汎用的なツール となっています。
PicoSAT は、産業的な事例において MiniSAT 2.0 より高速であると判明した SAT ソルバです。メモリ上で proof と core を生成することもできます。
その他の picosat 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.14)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb