This is to be used a benchmark for harp-lab/brouhaha, and is simplified adaptation for brouhaha of DPLL written at kraks/SAT.rkt
sowmith1999/dpll-racket
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.