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

Question

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

Answer 1

Planner（开源，java）实现了几种贪心算法（如First Fit）、模拟退火等优化算法。