Messing around with a SAT solver in clojure - View it on GitHub