/rust_glucose

A Rust API to Glucose SAT solver with alterations to expose some fields for statistics.

Primary LanguageRust

rust_glucose Build Status Build Status

A Rust API to Glucose SAT solver with alterations to expose some fields for statistical analysis.

Licence info for Glucose and Minisat can be found in vendor.