2012-11-20から1日間の記事一覧
SAT(充足可能問題)を解く必要があったので，高速なSATソルバーのMiniSatをPythonから触るラッパーを書いてみた． ダウンロード githubにあげてあります．shtaxxx:pyminisat 使い方 SatSolver()がソルバーでSatVarが変数． SatSolver.append()で節を追加して…
shtaxxx日記
コンピュータアーキテクチャについて研究している研究者の日記や技術紹介
