search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Fix DPLL #7

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

Looks like our DPLL is not working... fail_example1.cnf and fail_example2.cnf are examples of such behavior...

ebhardjan commented 6 years ago

done.