Floating-point domains (or "real domains") are currently not supported.
I think that Choco has some support for real vars, using an external engine. I'm not sure how that fits into Clojure's package managing system; I'll look into it sometime in the future. Thanks for your interest in Loco! --Alex On Friday, March 7, 2014 10:47:31 PM UTC-8, Olli Piepponen wrote: > > Hi, > > Looks very interesting. > > I was playing around with it yesterday at REPL, and I could not figure out > how to do constraints with floats. Are all domains limited to integers at > the moment, and if so do you have plans to add support for floating point > domains in the future? > > - Olli > > On Saturday, March 8, 2014 6:41:43 AM UTC+7, Alex Engelberg wrote: >> >> Loco is now on version 0.2.0. The only major change is that I renamed >> "$all-different?" to "$distinct" (now takes a list of args instead of a >> variable number of args), and renamed "$circuit?" to "$circuit". This is >> mostly because I wanted to provide more consistency throughout the function >> names by eliminating question marks. I realize that this is a small set of >> changes to push so early, but I figured it was best to get it out there as >> early as possible so people won't get too attached to the old functions. >> >> --Alex >> >> On Tuesday, March 4, 2014 1:46:51 PM UTC-8, Alex Engelberg wrote: >>> >>> Hi everyone. >>> >>> About 6 months ago, I created a Constraint Programming library called >>> CloCoP <https://github.com/aengelberg/clocop>. It was a Clojure wrapper >>> for a Java library, and it mostly maintained the "imperative" propagation >>> style. However, I was recently inspired to rework the library to have a >>> more declarative, functional taste. >>> >>> You can visit the github page <https://github.com/aengelberg/loco> for >>> more details, but here is some sample code. >>> (use 'loco.core) >>> (use 'loco.constraints) >>> (defn solve-problem [] >>> (solution >>> [($in :x 1 5) ; x is between 1 and 5 >>> ($in :y 1 5) ; y is between 1 and 5 >>> ($= ($+ :x 4) :y)] ; x + 4 = y >>> )) >>> (solve-problem) >>> => {:x 1, :y 5} >>> >>> When you call a constraint function (that begins with a dollar sign), >>> Clojure data is returned instead of a mysterious Java object.. The Java >>> library underneath is now only accessed when the entire problem is passed >>> to the "solution" function. >>> >>> Loco is a good choice for speedily solving integer-domain problems. Let >>> me know what you think of the new problem model; I believe that it allows >>> for easier construction and manipulation of a model before solving it. >>> >>> --Alex >>> >> -- 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 --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
