A Clojure library designed to solve constraint satisfaction problems (CSP). It generates MiniZinc code from a CSP specified in Clojure, that is very similar to the corresponding MiniZinc code. The generated MiniZinc program is then solved by one of the MiniZinc solvers available, and the result is read back into Clojure.