用模拟退火方法解决3SAT问题，里面的3sat.c就是源程序

模拟退火求解 3SAT问题-模拟退火求解求解3SAT问题

GA比起SA ，最大的优势在于对个初始解，而且存在杂交和变异，让SA具有非常强的跳出局部最优解的能力。而且简单通用，健壮性强。但是待定的参数很多，而且计算速度比较慢。选择，杂交，变异算子的选取也很关键。-GA than SA, the biggest advantage of an initial solution, and there is hybridization and mutation, so that SA has a very strong ability to jump out