SASAT

Implementation of Simulated Annealing SAT-solver algorithm

Build with

cmake .

make

Run example with

./DPLL test.DIMACS

Or generally

./DPLL [FilePath]