SAT求解机之minisat&zchaff的安装与运行

minisat的下载安装与运行

下载：http://minisat.se/   (在此之前先安装zlib.h     点击打开链接)

安装：解压-打开终端，通过以下命令进行安装（此处为源代码安装须命令行执行，不同于Windows系统下直接安装）

①export MROOT=<minisat dir>                    ##<minisat dir>    为minisat文件的路径，可通过pwd命令查看

②cd core

③make rs

④cp minisat_static <minisat dir>     

至此安装完毕

运行：不同于Windows系统中软件直接运行，此处需命令执行：

打开终端：

①cd <minisat dir>     ##进入minisat的安装路径即安装中第四步的<minisat dir>     

②./minisat_static 文件名 输出文件名       ##此处文件名为cnf文件，输出文件名为对应的cnf文件的结果。如果测试文件放在一个文件夹test下，则可以写为test/文件名

注：部分cnf文件下载参见http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html

zchaff的下载安装与运行

下载:http://www.princeton.edu/~chaff/zchaff.html

安装：解压-打开终端，通过以下命令进行安装

①cd <zchaff dir>    ##进入zchaff的路径

②make                   ##不知道为什么，编译时出现错误，源文件缺少头文件，需手动添加

③make all

至此安装完毕

运行：

①cd <zchaff dir> 

②./zchaff 文件名