A circuit-based Boolean satisfiability (SAT) solver - View it on GitHub