是否有人知道或拥有贪婪可满足性（GSAT）和模拟退火可满足性（SA-SAT）java算法？

我正在寻找用java实现的GSAT和SA-SAT算法。有人知道吗？ 谢谢。

（开源，java）实现了几种贪婪算法（如First Fit）、模拟退火和其他优化算法。

（开源，java）实现了几种贪婪算法（如First Fit）、模拟退火和其他优化算法