This release is a long time coming. I've done some major reworking of the constraint portion of the system since the last alpha. If you are using core.logic 0.7.5 please consider trying this release out - feedback welcome!
Enhancements ---- * Improve performance of fd constraints * eqfd sugar for easy declaration of equations * LOGIC-49: Partial unfication with maps now possible with partial-map * LOGIC-57: Improve performance of tabled goals Fixes ---- * LOGIC-46: Unification with struct maps supported Changes ---- * Unification with domain types no longer supported * Unification with sets no longer supported: LOGIC-54 through 56 -- 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