verification Directory Reference

Files
	AlglibOptimiser.cpp
	AlglibOptimiser.h
	BarrierCertificate.cpp
	BarrierCertificate.h
	FourierBarrierCertificate.cpp
	FourierBarrierCertificate.h
	GurobiOptimiser.cpp
	GurobiOptimiser.h
	HighsOptimiser.cpp
	HighsOptimiser.h
	MontecarloSimulation.cpp
	MontecarloSimulation.h
	Optimiser.cpp
	Optimiser.h
	SoplexOptimiser.cpp
	SoplexOptimiser.h
	verification.h