sat

A Sudoku SAT solver written in Clojure. Sudoku game was encoded into a huge data set of boolean logical propositions, then were rewritten and solved using DPLL algorithm.

A version of cryptominisat allowing Projection in Model Counting.