Skip to content
This repository has been archived by the owner. It is now read-only.
[archive] Truly horrible old student project: a naive SAT-solver that runs on the GPU
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc
misc
python
src
tests
LICENSE
Makefile
README.md
abrasatcuda
config
specs

README.md

Abrasatcuda

An old student project of @vbarrielle and @c-cube, supposed to run a naive DPLL SAT solver on the GPU or on pthreads.

License

GPL. Reuse at your own risk, including sanity or eye bleed.

Curious?

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.

You can’t perform that action at this time.