GitHub repository: michaelbeaumont/rust-sat
Primary language: Rust
Description: SAT solving with Rust