If you are still using core.logic 0.7.5 now's a good time to try the latest :)
>From 0.8.0-beta5 to 0.8.0-rc1 Enhancements ---- * Add `seqc` constraint, this is preferred over `listo` as found in TRS Bux Fixes ---- * LOGIC-100: undiscard diseqality constraints * LOGIC-101: fix suprising behavior with vars in nom/hash * LOGIC-96: fix disequality constraints * LOGIC-95: fix disequality constraints * LOGIC-53: core.logic converts defrecords * LOGIC-88: fix disequality reification * LOGIC-92: improve interaction between nominal & CLP(FD) functionality * LOGIC-91: fix `predc` entailment issues -- 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