#sat-solver #rust-sat

rustsat-ipasir

IPASIR bindings for RustSAT

8 releases

new 0.1.7 Mar 25, 2025
0.1.6 Feb 19, 2025
0.1.5 Dec 20, 2024
0.1.3 Oct 16, 2024
0.1.0 Apr 30, 2024

#1923 in Algorithms

Download history 10/week @ 2024-12-04 151/week @ 2024-12-11 150/week @ 2024-12-18 14/week @ 2024-12-25 2/week @ 2025-01-01 37/week @ 2025-01-08 21/week @ 2025-02-05 7/week @ 2025-02-12 167/week @ 2025-02-19 15/week @ 2025-02-26 26/week @ 2025-03-05 17/week @ 2025-03-12 99/week @ 2025-03-19

163 downloads per month

MIT license

765KB
18K SLoC

crates.io docs.rs License

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++");

Dependencies

~4–13MB
~177K SLoC