Constraints is a project mainly written in Clojure, it's free.
CSP(fd) solver for Clojure
Implementation of a CSP(fd) solver in Clojure.
(solve (make-CSP ))
Copyright (C) 2011
Distributed under the Eclipse Public License, the same as Clojure.