SASAT Implementation of Simulated Annealing SAT-solver algorithm Build with cmake . make Run example with ./DPLL test.DIMACS Or generally ./DPLL [FilePath]