202404112030 DIMACS CNF format

A standard format for SAT problems.

A negative variable means it is negated.

注：

1. 变量从1开始编号，一直到变量数量。
2. 一般用 .cnf 扩展名