[ANN] Constraint Programming in Clojure: clojure2minizinc -- initial release

2014-09-01 Thread Torsten Anders
Dear Clojure community, clojure2minizinc provides an interface between state-of-the-art constraint solvers (via MiniZinc) and Clojure. The clojure2minizinc user models in Clojure constraint satisfaction or optimisation problems over Boolean, integer, real number, and/or set variables. clojure2m

clojure2minizinc version 0.2.0 released

2014-09-30 Thread Torsten Anders
clojure2minizinc provides an interface between state-of-the-art constraint solvers (via MiniZinc) and Clojure. The clojure2minizinc user models in Clojure constraint satisfaction or optimisation problems over Boolean, integer, real number, and/or set variables. clojure2minizinc translates them

Re: clojure2minizinc version 0.2.0 released

2014-09-30 Thread Torsten Anders
Apologies for forgetting the [ANN] prefix in the subject line. Torsten On Tuesday, 30 September 2014 20:16:00 UTC+1, Torsten Anders wrote: > > clojure2minizinc provides an interface between state-of-the-art constraint > solvers (via MiniZinc) and Clojure. The clojure2minizinc user

[Bug?] Spec: spec/? not working?

2016-07-20 Thread Torsten Anders
Dear all, I have some problems using clojure.spec: ? does not work as I would expect it. Instead of specifying an optional value, it seems that such values are never permitted, and instead the next value is always matched. Please see the short example demonstration below. BTW, * seems to cause

Re: [Bug?] Spec: spec/? not working?

2016-07-21 Thread Torsten Anders
re you > using? > > > > Sean Corfield -- (970) FOR-SEAN -- (904) 302-SEAN > An Architect's View -- http://corfield.org/ > > "If you're not annoying somebody, you're not really alive." > -- Margaret Atwood > > > > On 7/20