MiniSat 项目技术文档

1. 安装指南

1.1 安装位置选择

在安装 MiniSat 之前，首先需要决定安装文件的位置。最简单的方法是使用 GNU 标准安装路径，并设置一个根安装目录的前缀（以下称为 $PREFIX）。通过这种方式，可以更灵活地控制安装路径。

1.2 配置安装

使用以下命令进行配置：

make config prefix=$PREFIX

其中，$PREFIX 是你选择的安装目录。

1.3 编译与安装

配置完成后，执行以下命令进行编译和安装：

make install

2. 项目的使用说明

2.1 配置文件

配置信息存储在 config.mk 文件中。如果需要查看当前的配置，可以查看该文件。如果需要重置配置为默认值，可以删除 config.mk 文件或执行以下命令：

make distclean

2.2 重新编译

如果只需要重新编译而不需要重新配置，可以直接执行编译命令：

make

3. 项目API使用文档

3.1 核心API

MiniSat 的核心 API 位于 minisat/core/ 目录下，提供了基本的求解器功能。

3.2 扩展API

扩展版本的求解器位于 minisat/simp/ 目录下，提供了额外的简化功能。

4. 项目安装方式

4.1 标准安装

使用以下命令进行标准安装：

make config prefix=$PREFIX
make install

4.2 自定义安装

如果需要更精细的控制安装路径，可以在配置时指定其他 GNU 标准安装路径（如 includedir, bindir 等）。

5. 目录结构概览

• minisat/mtl/：Mini Template Library
• minisat/utils/：通用辅助代码（I/O、解析、CPU 时间等）
• minisat/core/：核心版本的求解器
• minisat/simp/：带有简化功能的扩展求解器
• doc/：文档
• README：项目介绍
• LICENSE：许可证

6. 示例

运行 MiniSat 并使用与版本 2.0 相同的启发式方法：

minisat <cnf-file> -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02

通过以上步骤，您可以顺利安装和使用 MiniSat 项目。