Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Personal SAT solver implementation, with both DPLL and CDCL based techniques.