SAT (racket): A simple SAT solver based on DPLL.
Keywords: racket|sat-solver|scheme