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)