sat-solver A relatively straight-forward implementation of a sat-solver capable of both brute-force solves and an implementation of the DPLL algorithm.