https://ascend4.org/index.php?action=history&feed=atom&title=Category%3ALogic_SolversCategory:Logic Solvers - Revision history2026-05-03T19:23:30ZRevision history for this page on the wikiMediaWiki 1.43.6https://ascend4.org/index.php?title=Category:Logic_Solvers&diff=1533&oldid=prevJpye: Created page with '{{solvers}} {{stub}} Logic solvers allow the precedence order of a series of boolean relations to be determines, so that they can be evaluated in the correct order. LRSlv is…'2010-12-14T22:16:26Z<p>Created page with '{{solvers}} {{stub}} Logic solvers allow the precedence order of a series of boolean relations to be determines, so that they can be evaluated in the correct order. <a href="/LRSlv" title="LRSlv">LRSlv</a> is…'</p>
<p><b>New page</b></p><div>{{solvers}}<br />
{{stub}}<br />
<br />
Logic solvers allow the precedence order of a series of boolean relations to be determines, so that they can be evaluated in the correct order. [[LRSlv]] is presently the only solver that provides this functionality.<br />
<br />
[[LRSlv]] can only solve a boolean system if there are no blocks of equations with more than one '''relation'''. This could be implemented but would require a more advanced logic solver.<br />
<br />
We propose to examine options in connecting a SAT solver to ASCEND, to see if that's likely to be a useful development. See also [[ABsolver]].<br />
<br />
[[Category:Solvers]]<br />
[[Category:Stubs]]</div>Jpye