nicolasprevot / GpuShareSat

Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
32Updated 3 years ago

Related projects

Alternatives and complementary repositories for GpuShareSat