-
varisat
基于CDCL的SAT求解器（库）
-
varisat-checker
Varisat SAT求解器生成的证明的证明检查器
-
varisat-internal-proof
Varisat SAT求解器的内部证明格式
-
varisat-formula
Varisat SAT求解器使用的基公式数据类型
-
varisat-dimacs
Varisat SAT求解器的DIMACS CNF解析器和写入器
-
varisat-utils
varisat，添加最多一个和恰好一个约束
-
varisat-lrat
Varisat SAT求解器的LRAT证明生成
-
varisat-cli
基于CDCL的SAT求解器（命令行求解器）
-
varisat-internal-macros
Varisat SAT求解器的内部宏
尝试使用DuckDuckGo搜索搜索。