batsat (cargo): Extensible SAT solver in Rust
Keywords: sat|minisat|drat|proof-generating|rust|sat-solver|sat-solver-bindings