Does any body knows or has a greedy satisfiability(GSAT) and simulated annealing satisfabiilty(SA-SAT) java algorithm?

Question

I am looking for a GSAT and SA-SAT algorithm implemented in java. Does any body know about one? Thank you.

score 1 · Answer 1 · answered Mar 16 '12 at 11:41

1

Planner (open source, java) implements several greedy algorithms (such as First Fit), Simulated Annealing and other optimization algorithms.

answered Mar 16 '12 at 11:41

Geoffrey De Smet

1 Answers1