Class project, MAX SAT genetic solver in Clojure.