|
|
| Line 1: |
Line 1: |
| {{solvers}}
| | #REDIRECT [[:Category:Logic 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 presently the only solver that provides this functionality.
| |
| | |
| [[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.
| |
| | |
| 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]].
| |
| | |
| [[Category:Solvers]] | |
| [[Category:Stubs]]
| |