GitHub repository: spica314/nyat
Primary language: Rust
Description: hobby sat solver