Logic Solvers: Difference between revisions

From ASCEND
Jump to navigation Jump to search
Newer edit →
Restored page from Google Cache, uploaded by John Pye
 
No edit summary
Line 1: Line 1:
{| class="wikitable"
{{solvers}}
|-
{{stub}}
!  '''[[NLA]]'''
|-
|  '''[[QRSlv]]'''
|-
|  '''[[CMSlv]]'''
|-
|  '''[[IPSlv]]'''
|-
|  '''[[Opt]]'''
|-
!  '''[[NLP]]'''
|-
|  '''[[CONOPT]]'''
|-
|  '''[[IPOPT]]'''
|-
|  '''[[TRON]]'''
|-
|  '''[[MINOS]]'''
|-
|  '''[[NGSlv]]'''
|-
|  '''[[OptSQP]]'''
|-
!  '''[[DAE]]/[[ODE]]'''
|-
|  '''[[IDA]]'''
|-
|  '''[[LSODE]]'''
|-
|  '''[[DOPRI5]]'''
|-
!  '''[[LA]]'''
|-
|  '''[[linsolqr]]'''
|-
|  '''[[linsol]]'''
|-
!  '''[[LP]]'''
|-
|  '''[[MakeMPS]]'''
|-
!  '''<strong class="selflink">Logic</strong>'''
|-
|  '''[[LRSlv]]'''
|}
<div class="notice metadata" id="stub">''This article is a '''stub'''. You can help out by <span class="plainlinks">[http://ascendwiki.cheme.cmu.edu/index.php?title=Logic_Solvers&action=edit expanding it]</span>. ''</div>


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.
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.
Line 53: Line 6:
[[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.
[[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]].


We propose to examine options in connecting a SAT solver to ASCEND, to see if that's likely to be a useful development.
[[Category:Solvers]]
 
See also [[ABsolver]].
 
 
 
 
[[Category:Solvers]]
[[Category:Stubs]]
[[Category:Stubs]]

Revision as of 08:35, 2 August 2010

NLA
QRSlv
CMSlv
IPSlv
NLP
CONOPT
IPOPT
TRON
MINOS
Opt
NGSlv
DAE/ODE
IDA
LSODE
DOPRI5
RADAU5
LA
Linsolqr
Linsol
LP
MakeMPS
Logic
LRSlv
This article is a stub. You can help out by expanding it.

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.

Retrieved from "https://ascend4.org/index.php?title=Logic_Solvers&oldid=1117"