Robbepop/ipasir-rs

FFI bindings for the IPASIR incremental SAT solver interface.

RustNOASSERTION