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
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