An old student project of @vbarrielle and @c-cube, supposed to run a naive DPLL SAT solver on the GPU or on pthreads.
GPL. Reuse at your own risk, including sanity or eye bleed.
you can try it at least with the pthread parallelism:
$ make
$ ./abrasatcuda lib/pthread.so tests/aim-100-1_6-no-1.cnf
Oh yeah.