SAT問題を解決するPythonモジュール/プログラムはありますか？おそらく加重ブール値です。（具体的には、wboのようなもの）
または、そうでない場合は、バインディング、またはそれらのソルバーの1つを使用するためのAPIが存在する可能性があります。
今の時間に自分で番組を作ることはできないと思います。
質問する
1497 次
2 に答える
4
SAT の問題を解決するには、MiniSat ( http://minisat.se )、Glucose ( https://www.lri.fr/~simon/?page=glucose )、または Picosat ( http://fmv. jku.at/picosat ) などがあります。擬似ブール最適化の場合、MiniSat+ ( http://minisat.se/MiniSat+.html ) と Gurobi ( http://www.gurobi.com ) を知っています。トライアルライセンスとアカデミックライセンスを提供するGurobiを除いて、それらはすべて無料だと思います）。
それらはすべて、Python 内から簡単に生成/読み取りできる入力ファイルと出力ファイルを備えたコマンド ライン インターフェイスを提供します。さらに、Gurobi は完全な Python シェルを備えています。
于 2013-03-21T18:37:26.000 に答える
4
Picosatには Python 用のバインディングがあります ( pycosat )
于 2014-10-11T18:55:27.973 に答える