我的毕业设计遗传算法可满足性问题javaNP3-SATSAT代码之前的版本有点小问题优化了子句生成的方法还有简单的设计思路