[#LOGIC-64] Support inequalities in finite domain sugar - Clojure JIRA

The attached patch enables the follow code:

(run* [x]
  (infd x (interval 0 9))
  (eqfd (!= 6 (* 2 x))))

You can also substitute != with <, >, >=, or <=

Ascending order - Click to sort in descending order

Brandon Bloom made changes - 26/Oct/12 10:39 PM

Field	Original Value	New Value
Attachment		LOGIC-64-v1.patch [ 11623 ]

David Nolen made changes - 27/Oct/12 11:33 AM

Resolution		Completed [ 1 ]
Status	Open [ 1 ]	Resolved [ 5 ]

Vote (0)

Watch (1)

core.logic