ipasir-sys 0.3.0

A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.

include!(concat!(env!("OUT_DIR"), "/bindings.rs"));