Prototype dependency manager using SAT solver in Clojure