Sudoku solver written in Clojure that uses MiniSAT to solve any issues