Apologies for forgetting the [ANN] prefix in the subject line.
Torsten
On Tuesday, 30 September 2014 20:16:00 UTC+1, Torsten Anders wrote:
>
> clojure2minizinc provides an interface between state-of-the-art constraint
> solvers (via MiniZinc) and Clojure. The clojure2minizinc user models in
> C
clojure2minizinc provides an interface between state-of-the-art constraint
solvers (via MiniZinc) and Clojure. The clojure2minizinc user models in
Clojure constraint satisfaction or optimisation problems over Boolean,
integer, real number, and/or set variables. clojure2minizinc translates
them
