Geeks
snsinfu
/
dpll-sat
Naïve SAT solver implementing the classic DPLL algorithm
Primary Language
Rust
MIT License
MIT
dpll-sat GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Stargazers
artob
@HaltiaAI