minisat

============================================================================== 快速安装

• 决定安装文件的位置。最简单的方法是使用 使用 GNU 的标准位置,并为根安装设置一个"前缀" 目录（下面称为 $PREFIX）。可以通过更多的控制来 通过覆盖其他 GNU 标准安装位置来实现这一点 (包括 includedir、bindir 等)。仅使用前缀进行配置:

make config prefix=$PREFIX

• 编译和安装:

make install ============================================================================== 配置

• 可以将多个配置步骤合并为一个"make config"调用,在同一行上附加多个变量赋值。

============================================================================== 目录概述: minisat/mtl/ 小型模板库 minisat/utils/ 通用辅助代码（I/O、解析、CPU 时间等） minisat/core/ 解算器的核心版本 minisat/simp/ 具有简化功能的扩展求解器 doc/ 文档 README 许可证

示例: 使用与 2.0 版相同的启发式算法运行 minisat:

minisat -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02

[ TODO: describe configartion possibilities for compile flags / modes ] [ TODO: describe seperate build modes ] [ TODO: ? ]