/rust_cadical

A Rust API for Cadical SAT solver which have alterations to expose some fields for statistical analysis.

Primary LanguageRust

No issues in this repository yet.