|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
#include "lucid/verification/HighsOptimiser.h"#include <limits>#include <map>#include <ostream>#include <sstream>#include <string>#include <utility>#include <vector>#include "lucid/lib/highs.h"#include "lucid/util/Stats.h"#include "lucid/util/Timer.h"#include "lucid/util/error.h"Namespaces | |
| namespace | lucid |
| Root namespace for the lucid library. | |
HighsOptimiser class.