A local search based SAT solver. The main framework is based on WalkSAT.
One-literal watching scheme is used to speed-up search for satisfied and unsatisfied clauses. A careful
maintenance of a set of unsatisfied clauses to make the selection of a random unsatisfied clause easier is
A systematic DPLL based SAT solver. Some features from modern state-of-the-art SAT solvers are implemented.
Keywords: SAT, local search, WalkSAT, literal watching