Minimalistic high-performance SAT solver with GPU acceleration - View it on GitHub