2013-03-02から1日間の記事一覧
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 …
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 …
