minisatで論理パズルを解く。解ける。

VMWare上にCentOSを立てて、minisatの実行環境を構築する。

CentOSを立ち上げて、makeの環境を構築。

（そのままインストールできそうだけど、自前でmakeした。）

yum groupinstall 'Development Tools'

yum install gcc
yum install zlib-devel

minisatのソースをダウンロード。

MiniSat Page

make

で、minisatが出来る。

このサイトに詳しいが、論理パズルがこれで解ける。

面白い！

簡単な論理パズルを解く · Programming on SAT