sat4j中参数作用

以下内容来自AI

<dependency><groupId>org.sat4j</groupId><artifactId>org.sat4j.core</artifactId><version>2.3.1</version></dependency>

SAT 求解器要求输入必须是 ​多个子句的合取（AND）​，每个子句是 ​文字的析取（OR）。

OR 对应了传入VecInt中的数组，默认是或关系，AND对应了多个addClause()，默认是与关系。

传入VecInt中负号值代表NOT（逻辑非）。

这是cnf的标准表达方式，所有 SAT 求解器都遵循此规则。