On Sat, Oct 27, 2012 at 12:11 AM, Brandon Bloom <[email protected]> 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 [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
