This is an implementation of the Davis-Putnam DLL Algorithm (SAT solver) in Java.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool