QSat

Features

CDCL SAT solver
activity-based variable selection

Current Progress

basic solver functionaliy (boolean constraint propagation + conflict analysis)
regression / integration test for comparing performance with minisat
geometric solver restart strategy

TODO

modify SYCL to CUDA
- cuda memory pool
- configure kernels with num_blocks that fit each problem (instead of fixed blocks)