Category:Logic Solvers

From ASCEND
(Redirected from Logic Solvers)
Jump to: navigation, search
NLA
QRSlv
CMSlv
IPSlv
NLP
CONOPT
IPOPT
TRON
MINOS
Opt
NGSlv
DAE/ODE
IDA
LSODE
DOPRI5
RADAU5
LA
Linsolqr
Linsol
LP
MakeMPS
Logic
LRSlv

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.

Pages in category "Logic Solvers"

This category contains only the following page.