verification.h File Reference

#include "lucid/verification/AlglibOptimiser.h"
#include "lucid/verification/BarrierCertificate.h"
#include "lucid/verification/FourierBarrierCertificate.h"
#include "lucid/verification/GurobiOptimiser.h"
#include "lucid/verification/HighsOptimiser.h"
#include "lucid/verification/MontecarloSimulation.h"
#include "lucid/verification/Optimiser.h"
#include "lucid/verification/SoplexOptimiser.h"

Namespaces
namespace	lucid::verification
	Collection of utilities used to verify whether the system abides by the given specifications.
namespace	lucid
	Root namespace for the lucid library.

Detailed Description

Author

Ernesto Casablanca

Oliver Schön

Copyright

2025 lucid

Licence:

BSD 3-Clause License

Tuning module.