Dziwne - nie mamy takiego wątku?
W każdym bądź razie admini projektu pracują nad wersją dla GPU (CUDA).
http://sat.isa.ru/pdsat/forum_thread.php?id=38
http://sat.isa.ru/pdsat/testing.php
http://www.boincatpoland.org/smf/ostatnio-znalezione/parallel-and-distrubuted-sat-solver/
tu jest