はじめてのSAT solver実行

ひさしぶりにSAT　solverを触ることになり、環境を再構築したため、備忘録的に。

まずは協議会であるSAT competition　2021のサイトから。
今はminiSatではなく、CadiCalというものになっている様子。

1) まずはforkして自分のレポジトリの中に。

2) 次にConfigure&make

./Configure
make

3) そうすると buildディレクトリの中に実行ファイルcadicalができるので
cadical -hでhelpを見ておく

4) 解く問題はCompetitionから適宜持ってくる。2021のものであれば

から

mkdir problems #適当にフォルダを作る　ー多数ダウンロードされるため
cd problems
wget --content-disposition -i https://satcompetition.github.io/2021/downloads/main2021.url

などでダウンロード。

5) あとは実行。とりあえず制限時間120秒（実時間）で

./build/cadical -t 120 ./problems/(問題名指定）

Windowsで実行するのに戸惑ったのが嘘のよう。簡単。