SAT ソルバーとして有名な Minisat のインストールを行ってみた。
まずはソースファイルの入手
> wget http://minisat.se/downloads/minisat-2.2.0.tar.gz
> tar xvzf minsat-2.2.0.tar.gz
zlib 関係が足りないので追加
> yum install zlib-static zlib-devel
minisat 本体の make
> cd minisat
> export MROOT=<minisat-dir>
> cd { core | simp }
> gmake rs
> cp minisat_static <install-dir>/minisat
◯Westmere-EX 40 コアマシン
CPU Intel Xeon E7-4870 2.40GHz 30M L3 cache x 4
Memory ACTICA DDR3 1333 ECC REG 512GB( 16GB x 32)
HDD 3.5" Enterprize 1TB SATA HDD x 4 : RAID5構成
OS : CentOS 6.4
まずはソースファイルの入手
> wget http://minisat.se/downloads/minisat-2.2.0.tar.gz
> tar xvzf minsat-2.2.0.tar.gz
zlib 関係が足りないので追加
> yum install zlib-static zlib-devel
minisat 本体の make
> cd minisat
> export MROOT=<minisat-dir>
> cd { core | simp }
> gmake rs
> cp minisat_static <install-dir>/minisat
◯Westmere-EX 40 コアマシン
CPU Intel Xeon E7-4870 2.40GHz 30M L3 cache x 4
Memory ACTICA DDR3 1333 ECC REG 512GB( 16GB x 32)
HDD 3.5" Enterprize 1TB SATA HDD x 4 : RAID5構成
OS : CentOS 6.4