[LOGIC-90] These three FD constraints seem to diverge with certain domains

Tue, 1 Jan 2013 13:45:35 -0600

This code:

(run 1 [a b c d]
     (infd a b c d (interval 0 3))
     (<fd a b)
     (<fd c d)
     (<fd d a))

returns

([2 3 0 1])

as 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).

Clojure JIRA

[LOGIC-90] These three FD constraints seem to diverge with certain domains