Lib.rs
› 关键词
#
sat-solver
#
可满足性
#
sat
#
接口
#
求解器
#
逻辑
#
正常
#minisat
关键词
搜索
cadical
Rust 对 CaDiCaL SAT 求解器的绑定
v
0.1.14
#
sat-solver
#
sat
#
solver
#
可满足性
#
minisat
#
逻辑
minisat
接口。解决以合取范式给出的布尔可满足性问题。
v
0.4.4
110
#
问题
#
接口
#
sat-solver
#
布尔
#
可满足性
#
范式
#
正常
batsat
在 Rust 中可扩展的 SAT 求解器
v
0.5.0
130
#
sat-solver
#
sat
#
minisat
#
接口
#
mini-sat
#
smt-solver
#
证明