すべてのオプション
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: picosat  ]

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

picosat に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

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

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

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

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

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

  • 依存
  • 推奨
  • 提案
  • enhances

picosat のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 92.3 kB879.0 kB [ファイル一覧]
arm64 84.2 kB895.0 kB [ファイル一覧]
armel 84.9 kB794.0 kB [ファイル一覧]
armhf 83.4 kB620.0 kB [ファイル一覧]
i386 96.5 kB866.0 kB [ファイル一覧]
mips64el 96.0 kB1,060.0 kB [ファイル一覧]
mipsel 95.7 kB913.0 kB [ファイル一覧]
ppc64el 100.9 kB1,261.0 kB [ファイル一覧]
s390x 86.1 kB893.0 kB [ファイル一覧]