clsat
clsat copied to clipboard
OpenCL SAT solver
Results
2
clsat issues
Sort by
recently updated
recently updated
newest added
see: http://codepad.org/RBccrWlS
I suggested cryptominisat to have a look at clsat for implementing OpenCL support, but it seems the CL kernel needs some explicit type-casting to work again: clBuildProgram() failed :100:7: error:...