|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
SoPlex wrapper. This header includes the SoPlex library and provides various helpers. Other files in the library should depend on this header instead of the SoPlex library directly. Instead of including <Highs.h>, include "lucid/lib/highs.h".