/3SAT-Simulated-Annealing

C++ 3-SAT Simulated Annealing Solver

Primary LanguageC++

3-SAT Simulated Annealing

C++ 3-SAT Simulated Annealing Solver

Prerequisites:

  • g++

To Compile:

$ make
To run the test:
$ ./main <size> <iterations>

Results:

20 100 250