<< Back to previous view

[LOGIC-90] These three FD constraints seem to diverge with certain domains Created: 01/Jan/13  Updated: 01/Jan/13  Resolved: 01/Jan/13

Status: Resolved
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Blocker
Reporter: Gary Fredericks Assignee: David Nolen
Resolution: Completed Votes: 0
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).

 Comments   
Comment by David Nolen [ 01/Jan/13 1:45 PM ]

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

Generated at Thu May 23 13:05:05 CDT 2013 using JIRA 4.4#649-r158309.