rustsat-kissat - RustSAT的kissat SAT求解器接口

Armin Biere的SAT求解器 Kissat 可与 RustSAT 库一起使用。

注意：目前这个crate已知在Windows上无法工作，因为Kissat在Windows上使用较为复杂。

功能

• debug：如果启用此功能，当Rust项目以调试模式构建时，将使用调试功能构建C库
• safe：禁用通过'popen'写入，以便在应用程序中更安全地使用库
• quiet：排除消息和性能代码（日志记录也排除）

Kissat版本

可以通过cargo crate功能选择Kissat版本。以下Kissat版本可用

• v3-1-0： 版本3.1.0
• v3-0-0： 版本3.0.0
• sc2022-light： SAT竞赛2022轻量级
• sc2022-hyper： SAT竞赛2022超量级
• sc2022-bulky： SAT竞赛2022重量级

如果没有选择任何功能，将使用最新版本。如果请求了冲突的Kissat版本，将选择请求的最新版本。