Lib.rs

› 科学 › 数学

#sat-solver #sat #solver

bin+lib acheron

所有者 Robbie McKinstry.

安装
API 参考
GitHub 仓库 (robbiemckinstry)

1 个不稳定版本

0.1.0	2019年4月6日

#37 在 #sat

MIT 许可证

5.5MB
204 行

简单的 SAT 求解器

依赖项

clap 2.32
im 12.3

另请参阅：splr，rustsat，resolvo，sat_toasty_helper，varisat，rustsat-ipasir，good_lp，optimization_engine，russell_sparse，z3，ddo

Lib.rs 是由 kornelski 创建的 Rust/Cargo Crates 的非官方列表。它包含来自多个来源的数据，包括启发式方法和手动整理的数据。此页面的内容不一定得到 crate 作者的支持。本网站与 Rust 项目无关，也不受其支持。如果遗漏或错误，请提交错误。