SAT Solver This repository is a simple SAT solver. Currently, it expects in the Conjunctive-Normal-Form(CNF).