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