Re: [ANN] loco 0.1.0

2014-03-08 Thread Alex Engelberg
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! --A

Re: [ANN] loco 0.1.0

2014-03-07 Thread Olli Piepponen
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

Re: [ANN] loco 0.1.0

2014-03-07 Thread Alex Engelberg
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 name

[ANN] loco 0.1.0

2014-03-04 Thread Alex Engelberg
Hi everyone. About 6 months ago, I created a Constraint Programming library called 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 h