GitHub repository: JulianKnodt/satsuma
Primary language: Rust
Created: 2020-07-05T07:59:24Z
Description: 🍊 A SAT solver the size of a Satsuma intended for readability and efficiency.