search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Cdcl #24

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

CDCL implemented and fully tested. Performance looks slightly better than DPLL, detailed evaluation will follow.