A pbqp solver for clojure.