A Clojure library wrapping the Kodkod constraint solver