rustsat-cadical - 为RustSAT提供CaDiCaL SAT求解器的接口

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

注意：目前此crate已知无法在Windows上运行，因为CaDiCaL在Windows上运行非平凡。

特性

• debug：如果启用此特性，则当Rust项目以调试模式构建时，将使用调试和检查功能构建C++库
• safe：禁用通过'popen'写入以提高库在应用程序中的更安全使用
• quiet：排除消息和性能分析代码（记录也排除）
• logging：包含记录代码（但默认禁用）

CaDiCaL版本

可以通过Cargo crate特性选择CaDiCaL版本。所有CaDiCaL版本，包括 版本1.9.4，都是可用的。有关版本列表和变更日志，请参阅 CaDiCaL发布。

如果没有选择任何特性，将使用最新版本。如果请求了冲突的CaDiCaL版本，将选择请求的最新版本。