|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
#include <iosfwd>#include <map>#include <string>#include "lucid/lib/eigen.h"#include "lucid/verification/Optimiser.h"Classes | |
| class | lucid::HighsOptimiser |
| Linear optimiser using the HiGHS mathematical library. More... | |
Namespaces | |
| namespace | lucid |
| Root namespace for the lucid library. | |
HighsOptimiser class.