-
splr
Rust 中的现代 CDCL SAT 求解器
-
z3
微软研究院 Z3 SMT 求解器的高层 Rust 绑定
-
rustsat
旨在提供在可满足性求解领域开发软件时常用的元素的实现。该库的重点是提供尽可能方便的使用方式，同时不牺牲性能。
-
smtlib
与 SMT 求解器交互的高层 API
-
screwsat
基于约束驱动的子句学习 SAT 求解器
-
cryptominisat
CryptoMiniSat 布尔可满足性求解器的 Rust 绑定
-
mikino_api
归纳和 BMC 引擎
-
mikino
归纳和 BMC 引擎
-
z3-sys
微软研究院 Z3 SMT 求解器的底层绑定
-
libpcp
支持整数算术约束的约束求解器
-
cadical
CaDiCaL SAT 求解器的 Rust 绑定
-
rustsat-tools
基于 RustSAT 库的工具和示例
-
rsmt2
适用于SMT-LIB 2兼容的SMT求解器的包装器
-
minisat
接口。以合取范式给出布尔可满足性问题。
-
cnf-parser
适用于SAT求解的高效可定制CNF解析器
-
sat-rs
用Rust编写的SAT求解器
-
ipasir-sys
包含IPASIR兼容SAT求解器的FFI绑定
-
satoxid
用Rust编写的布尔可满足性问题编码库
-
rustproof
用于从Rust代码生成验证条件的编译器插件
-
z3d
Rust的Z3 DSL接口
-
cat_solver
为Kissat SAT求解器提供的Rust绑定
-
rsmt2-zz
适用于SMT-LIB 2兼容的SMT求解器的包装器。包含ZZ下游修复
-
seer-z3
微软研究院 Z3 SMT 求解器的高层 Rust 绑定
-
propositional-tableau-solver-rs
命题公式的命题表求解器
-
rustproof-libsmt
Rust绑定，用于RustProof中使用的z3
-
taskcluster-lib-scopes
验证作用域、作用域集合和作用域集合的可满足性
-
rsat
SAT求解器
-
rust_smt
基于SMT-LIB标准的与SMT求解器交互的通用求解器无关API
-
msat
MaxSAT求解器
-
solhop
SAT和MaxSAT求解器
-
solhop-types
为SolHOP提供的类型
尝试使用DuckDuckGo进行搜索。搜索.