LRSlv

From ASCEND

NLA
QRSlv
CMSlv
IPSlv
Opt
NLP
CONOPT
IPOPT
TRON
MINOS
NGSlv
OptSQP
DAE/ODE
IDA
LSODE
DOPRI5
LA
linsolqr
linsol
LP
MakeMPS
Logic
LRSlv

Logical relation solver. Functional, based on Vicente Rico-Ramirez' PhD thesis (see ASCEND bibliography). Used as a sub-solver by CMSlv.

It's possible to set up pure logic problems in ASCEND although it appears that this may be a little-tested aspect of the code. A small test suite is under development; see the models/test/lrslv directory.