2 releases
0.1.1 | Jun 12, 2024 |
---|---|
0.1.0 | Apr 30, 2024 |
#1071 in Algorithms
36 downloads per month
3MB
14K
SLoC
rustsat-ipasir - IPASIR Bindings for RustSAT
IPASIR is a general incremental interface for SAT solvers. This crate provides bindings for this API to be used with the RustSAT library.
Note: This crate only provides bindings to the API, linking to a IPASIR library needs to be set up by the user. This is intentional to allow easy integration of solvers that we do not provide a specialized crate for. For a plug-and-play experience see the other rustsat solver crates.
Linking
Linking to a IPASIR library can be done by adding something like the following to your projects
build script (build.rs
).
// 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++");