core.logic

These three FD constraints seem to diverge with certain domains

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Blocker 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).

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: