ボディには、貪欲な充足可能性（GSAT）とシミュレーテッドアニーリングの充足性（SA-SAT）Javaアルゴリズムがありますか？

Question

私はJavaで実装されたGSATとSA-SATアルゴリズムを探しています。どんな肉体についても知っていますか？ ありがとうございます。

Answer 1

Planner（オープンソース、java）は、いくつかのグリーディアルゴリズム（First Fitなど）、シミュレートアニーリングなどの最適化アルゴリズムを実装しています。