A simple SAT solver that implements the DPLL algorithm with unit resolution
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool