-
splr
Rust 编写的现代 CDCL 可满足性问题求解器
-
rustsat
旨在提供在可满足性问题求解领域开发软件时常用元素的实现。该库的焦点是在不牺牲性能的前提下提供尽可能方便的使用。
-
screwsat
基于冲突驱动的子句学习可满足性问题求解器
-
scuttle
多目标 MaxSAT 求解器
-
cryptominisat
CryptoMiniSat 的 Rust 绑定，一个布尔可满足性问题求解器
-
varisat
基于 CDCL 的可满足性问题求解器（库）
-
nonogrid
高效的非网格求解器
-
sat_toasty_helper
更易于编写 SAT 约束
-
rustsat-ipasir
RustSAT 的 IPASIR 绑定
-
permanganate
Numberlink 和 Flow Free 的图和布尔可满足性问题求解器
-
rgbd
GBD 基准数据库的非官方 Rust 客户端
-
flussab-cnf
DIMACS CNF 文件格式解析器和编写器
-
ipasir
用于与增量SAT求解器通信的IPASIR API绑定
-
cadical
CaDiCaL SAT求解器的Rust绑定
-
rustsat-cadical
RustSAT库对SAT求解器CaDiCaL的接口
-
backtrack
轻松解决困难约束
-
rsmt2
SMT-LIB 2兼容SMT求解器的包装器
-
rustsat-kissat
RustSAT库对SAT求解器kissat的接口
-
rustsat-minisat
RustSAT库对SAT求解器Minisat的接口
-
minisat
接口。解决以合取范式给出的布尔可满足性问题。
-
rustsat-glucose
RustSAT库对SAT求解器Glucose的接口
-
batsat
Rust中的可扩展SAT求解器
-
varisat-checker
Varisat SAT求解器生成的证明的证明检查器
-
sat-rs
用Rust编写的SAT求解器
-
ipasir-sys
包含IPASIR兼容SAT求解器FFI绑定的库
-
satoxid
用rust编写的布尔可满足性问题编码库
-
satlog
SAT求解器日志记录器
-
varisat-internal-proof
Varisat SAT求解器的内部证明格式
-
varisat-formula
Varisat SAT求解器使用的基礎公式数据类型
-
cat_solver
Kissat SAT求解器的Rust绑定
-
rate
Clausal证明检查器（DRAT，DPR）用于认证SAT求解器的不满足性结果
-
varisat-dimacs
Varisat SAT求解器的DIMCAS CNF解析器和写入器
-
exec-sat
执行SAT求解器并解析SAT求解器输出
-
kissat
Kissat SAT求解器的封装器
-
varisat-lrat
Varisat SAT求解器的LRAT证明生成器
-
dimacs
解析DIMACS .cnf或.sat格式的文件，这对于参加DIMACS SAT求解器竞赛很有用
-
varisat-cli
基于CDCL的SAT求解器（命令行求解器）
-
rsat
SAT求解器
-
sat-solver
基于2WL和重启机制的CDCL SAT求解器。本程序已不再维护。如需转让名称，请给我发送邮件。
-
varisat-internal-macros
Varisat SAT求解器的内部宏
-
sat
定义和解决SAT问题的接口
-
acheron
SAT求解器
-
satire
用Rust编写的教育性SAT求解器
尝试使用DuckDuckGo进行搜索。