最大SAT求解器
由 Prateek (प्रतीक)
#28 in #可满足性
在 solhop 中使用
6KB 95 行
最大SAT求解器。
即将推出！
此项目仍在开发中。API可能在第一个稳定版本v1.0.0之前发生变化。
MIT
lib.rs
~5MB ~89K SLoC
