3-SAT Simulated Annealing C++ 3-SAT Simulated Annealing Solver Prerequisites: g++ To Compile: $ make To run the test: $ ./main <size> <iterations> Results:
