Geeks
os12345678
/
SAT_DPLL
An implementation of the DPLL algorithm for solving SAT problems
Primary Language
Python
SAT_DPLL GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
vZekii
Australia