GitHub repository: lixitrixi/antwort
Primary language: Rust
Description: A propositional satisfiability solver application written in Rust.