rustsat-ipasir - RustSAT的IPASIR绑定

IPASIR 是一个通用的SAT求解器的增量接口。这个crate提供了与RustSAT库一起使用的API绑定。

注意：此crate仅提供API绑定，链接到IPASIR库需要用户自行设置。这是故意的，以便轻松集成我们没有提供专用crate的求解器。对于即插即用的体验，请参阅其他rustsat求解器crate。

链接

可以通过将以下内容添加到您的项目构建脚本（build.rs）中来实现对IPASIR库的链接。

// Link to custom IPASIR solver
// Modify this for linking to your static library
// The name of the library should be _without_ the prefix 'lib' and the suffix '.a'
println!("cargo:rustc-link-lib=static=<path-to-your-static-lib>");
println!("cargo:rustc-link-search=<name-of-your-static-lib>");
// If your IPASIR solver links to the C++ stdlib, the next four lines are required
#[cfg(target_os = "macos")]
println!("cargo:rustc-flags=-l dylib=c++");
#[cfg(not(target_os = "macos"))]
println!("cargo:rustc-flags=-l dylib=stdc++");