Kissat-rs

Rust wrapper for the kissat SAT solver