On Wed, Oct 24, 2012 at 5:17 PM, nathanmarz <nathan.m...@gmail.com> wrote:

> Cool, thanks for the quick response. We'll be looking into this pretty
> soon. I ultimately want the logic engine itself being exposed to users
> so they can add their own company-specific constraints to resource
> scheduling – which will be totally badass. If you're interested in
> tracking this, I opened up an issue on Storm:
> https://github.com/nathanmarz/storm/issues/383


Interesting, in what form will you expose this functionality to users? As
some kind of DSL?

I actually thought about minimization for a few more minutes. Minimization
is not hard, it's really just about which values in a domain should be
tried first. These are called distribution strategies in Mozart/Oz and I
already sketched out how this might work in core.logic.

I will add that JaCoP http://www.jacop.eu looks pretty mature / performant.
I'm not sure how much interoperability with existing Clojure data
structures comes into play for your particular use case.

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

Reply via email to