Improve Propagation - Githubissues

nmanthey / riss-solver

sequential and parallel SAT solver

GNU Lesser General Public License v2.1

8 stars 3 forks source link

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

simplify check for sharing clauses
check better if LBD really has to be recomputed on success for all clauses (might be possible during checking next watched literal)

nmanthey commented 6 years ago

factored out some configuration option checks, merged already into master.