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.

Reply via email to