simulated annealing SAT\main.cpp .......................\simulated annealing SAT.vcxproj .......................\simulated annealing SAT.vcxproj.filters .......................\simulated annealing SAT.vcxproj.user simulated annealing SAT