search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Implement CDCL #23

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

If we want to get more overall performance we should implement CDCL!

ebhardjan commented 6 years ago

See pull request #24.

limo1996 commented 6 years ago

Is it done or do you plan some improvements?

limo1996 commented 6 years ago

Implemented by @ebhardjan in #28