私は SAT で問題をモデル化し、cryptominisatで解決しようとしています。変数に制約がない場合は、変数にデフォルト値を設定したいと思います。
私はマニュアルをset_default_polarity調べましたが、答えのようです。試してみましたが、思ったように動作しません。ここの用語がよくわかりませんpolarity。私は論理に慣れていないので、いくつかのグーグルは私を助けませんでした。
だから、私の質問は次のとおりです。
polarity入門レベルの情報源を教えてください。論理変数のデフォルト値を設定するために cryptominisat (または一般的に SAT ソルバー) にインターフェイスはありますか? そのような機能の用語は何ですか?
ありがとう。