/DPLL

DPLL SAT-solver implementation

Primary LanguageC

DPLL

Implementation of DPLL SAT-solver algorithm

Build with

cmake .

make

Run example with

./DPLL cnf.DIMACS

Or generally

./DPLL [FilePath] ([HeuristicID = 3])

Where [HeuristicID] specifies which branching heuristic will be used while solving the problem:

  1. Jeroslow - Wang
  2. Hooker - Vinay
  3. Van Gelder - Tsuji
  4. CSAT