Logic Solvers

From ASCEND

Jump to: navigation, search
NLA
QRSlv
CMSlv
IPSlv
Opt
NLP
CONOPT
IPOPT
TRON
MINOS
NGSlv
OptSQP
DAE/ODE
IDA
LSODE
DOPRI5
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 solver 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.

Retrieved from "http://ascendwiki.cheme.cmu.edu/Logic_Solvers"
Personal tools