lucid  0.0.2
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
HighsOptimiser.cpp File Reference
#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.

Detailed Description

Author
Ernesto Casablanca
Oliver Schön
Licence:
BSD 3-Clause License

HighsOptimiser class.