A Clojure library designed to solve constraint satisfaction problems by using MiniZinc the background