/sat-solver

textbook sat solver; DPLL(BCP) + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse

Primary LanguageC++

This repository is not active