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 into MiniZinc, they are solved in the background by a compatible solver, and the result is read back into Clojure. clojure2minizinc code can be very similar to the corresponding MiniZinc code, but in addition the full power of Clojure is at hand.
Version 0.2.0 adds all of MiniZinc's global constraints, list and set comprehension, and greatly improves the reference documentation. For more information including installation details please visit http://tanders.github.io/clojure2minizinc/ A tutorial is available at http://tanders.github.io/clojure2minizinc/tutorial.html Further changes are listed in the change log at https://github.com/tanders/clojure2minizinc/blob/master/CHANGES.org -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.