Re: [gecode-users] Problem with stress-distinct

Mauricio Toro wrote: I am getting this error when trying to run the "stress-distinct" example using the common lisp wrapper. Perhaps somebody has a clue: Assertion failed: (dom.min() == dom.max()), function val, file /usr/local/include/gecode/int/var/imp-int.icc, line 223. I'd guess that you

[gecode-users] Problem with stress-distinct

Hello, I am getting this error when trying to run the "stress-distinct" example using the common lisp wrapper. Perhaps somebody has a clue: Assertion failed: (dom.min() == dom.max()), function val, file /usr/local/include/gecode/int/var/imp-int.icc, line 223. The lisp interpreter is giving me t