An implementation of a SAT solver using the CUDA library