A minimalistic and high-performance SAT solver - View it on GitHub