search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Dpll improvements #22

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

Performance improvements in DPLL! Example on 3-sat_instances_small/3-sat_var_30_cla_178_is-unsat_case_1.cnf: Runtime before: 8.61 seconds Runtime now: 1.05 seconds woohooo!!!

ZiweiHuang94 commented 6 years ago

Cool!!!