/rust_cadical

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

Primary LanguageRust

rust_cadical Build Status Build Status

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

Licence info for Cadical can be found in vendor folder.