DPLL Sat solver using Unit Propagation and Pure Literal Elimination for an assignment of Logic for Computer Science course. HEAVILY based on https://github.com/marcmelis/dpll-sat
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool