DIMACS 解析器

用于解析 DIMACS .cnf 或 .sat SAT 格式文件的实用程序，这对于参加 DIMACS SAT 求解器竞赛非常有用。

基本上提供以下 API

fn parse_dimacs(input: &str) -> Result<Instance> { .. }

lib.rs:

解析 .cnf 和 .sat 文件的解析器功能，这些文件由 DIMACS 格式规范 指定。

DIMACS 格式是为了 DIMACS SAT 求解器竞赛指定的输入文件格式。许多其他 DIMACS 文件格式用于其他竞赛，然而，这个软件包目前只支持与 SAT 求解器相关的格式。

在 .cnf 中，整个 SAT 公式被编码为析取式的合取，因此主要存储由文字组成的子句列表。

.sat 格式稍微复杂一些，因为公式可以有不同的形状，因此 .sat 文件在内部看起来类似于 Lisp 文件。