3-SAT Simulated Annealing

C++ 3-SAT Simulated Annealing Solver

Prerequisites:

• g++

To Compile:

$ make

To run the test:

$ ./main <size> <iterations>

Results: