ipasir-sys (cargo): A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.
Keywords: incremental|sat|satisfiability|ipasir|ffi