Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
Here you can share your experience with the project you are suggesting or its comparison with GpuShareSat. Optional.
A valid email to send you a verification link when necessary or log in.