Clojure JIRA http://dev.clojure.org/jira/secure/IssueNavigator.jspa?reset=true&jqlQuery=project+%3D+10020+AND+labels+%3D+%22patch%2C%22 An XML representation of a search request en-us 4.4 649 25-07-2011 [LOGIC-64] Support inequalities in finite domain sugar http://dev.clojure.org/jira/browse/LOGIC-64 core.logic <p>The attached patch enables the follow code:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run* [x] (infd x (interval 0 9)) (eqfd (!= 6 (* 2 x))))</pre> </div></div> <p>You can also substitute != with &lt;, &gt;, &gt;=, or &lt;=</p> LOGIC-64 Support inequalities in finite domain sugar Enhancement Minor Resolved Completed David Nolen Brandon Bloom Fri, 26 Oct 2012 22:37:35 -0500 Sat, 27 Oct 2012 11:33:23 -0500 Sat, 27 Oct 2012 11:33:23 -0500 0 1 <p>fixed, <a href="http://github.com/clojure/core.logic/commit/423639c62584c0100f295cc87c1cf2f721e986e3">http://github.com/clojure/core.logic/commit/423639c62584c0100f295cc87c1cf2f721e986e3</a></p> Global Rank Patch Code