[LOGIC-90] These three FD constraints seem to diverge with certain domains Created: 01/Jan/13 Updated: 01/Jan/13 Resolved: 01/Jan/13
|Reporter:||Gary Fredericks||Assignee:||David Nolen|
clojure 1.5.0-beta1, core.logic 0.8.0-beta4
returnsas expected. However, if we change the interval to (interval 0 4) it seems to diverge. The behavior is the same between (domain 0 1 2 3) and (domain 0 1 2 3 4).
|Comment by David Nolen [ 01/Jan/13 1:45 PM ]|