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

Details

Type: Defect
Status: Resolved
Priority: Blocker
Resolution: Completed
Affects Version/s: None
Fix Version/s: None
Component/s: None
Labels:
None
Environment:
clojure 1.5.0-beta1, core.logic 0.8.0-beta4

Description

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

Activity

Hide

Permalink

David Nolen added a comment - 01/Jan/13 1:45 PM

fixed, http://github.com/clojure/core.logic/commit/7ea49dffb057df6775a5b98d869bfef44ae83ec9

Show

David Nolen added a comment - 01/Jan/13 1:45 PM fixed, http://github.com/clojure/core.logic/commit/7ea49dffb057df6775a5b98d869bfef44ae83ec9

People

Assignee:

David Nolen

Reporter:

Gary Fredericks

Vote (0)

Watch (0)

Dates

Created:

01/Jan/13 1:03 PM

Updated:

01/Jan/13 1:45 PM

Resolved:

01/Jan/13 1:45 PM