Olá,
Alguém poderia indicar algumas boas implementações de planejadores, que possam ser usadas out-of-the-box? Estou procurando no Google, mas os resultados não estão ajudando muito.
Vc pode procurar sobre os satsolvers "ZChaff" e o "siege_v4"...
também tem esse:
http://www.cs.washington.edu/homes/kautz/satplan/blackbox/blackbox-download.html
acho que vai gostar