http://minisat.se/MiniSat.html
高速なSATソルバであるMinisatのインストール方法
Unix系で動く。
WindowsならCygwinで動くらしい。
#ファイル取ってきて
wget http://minisat.se/downloads/minisat-2.2.0.tar.gz
#解凍して
tar -xvf minisat-2.2.0.tar.gz
#ビルド
export MROOT=/usr/local/src/minisat
cd minisat/core
make
あとはお好みでパスを通して使えるようになる。
