java - 貪欲な充足可能性（GSAT）とシミュレーテッドアニーリング充足性（SA-SAT）Javaアルゴリズムを知っている、または持っている人はいますか？

Question

Javaで実装されたGSATおよびSA-SATアルゴリズムを探しています。誰かがそれについて知っていますか？ありがとうございました。

Answer 1

Planner（オープンソース、Java）は、いくつかの欲張りアルゴリズム（First Fitなど）、シミュレーテッドアニーリング、およびその他の最適化アルゴリズムを実装しています。