GitHub repository: nvzoll/gpupsat
Primary language: Cuda
Created: 2017-06-19T10:30:11Z
Description: SAT solver for CUDA devices based on DPLL/CDCL algorithm