On Sat, Oct 27, 2012 at 12:11 AM, Brandon Bloom <snprbo...@gmail.com> wrote:
> I'd suspect the specialized solvers provide performance > and predictability tuned to their particular use cases. It's worth noting > is that both components must provide interactive performance. I wonder if > there is some way to leverage the infrastructure of core.logic backed by > different types of solvers. > It's a goal for core.logic to support CLP(X). Bring your own constraints and your own solvers. The 0.8.0 is a big step towards that goal. I'm also interested in getting the core.logic CLP framework fast enough that the core doesn't slow down fast solvers. We'll see :) David -- 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
