name_untitledのエッセイ

IT関係で知ったことなどを記事としてあげていきます。内容に不備や質問などあればぜひコメントをよせてください。

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