search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

local-cdcl: implementing local cdcl #28

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

also fixes a bug in cdcl memory management...