SoplexOptimiser.h File Reference

#include <iosfwd>
#include <string>
#include "lucid/verification/Optimiser.h"

Classes
class	lucid::SoplexOptimiser
	Linear optimiser using the SoPlex solver. More...

Namespaces
namespace	lucid
	Root namespace for the lucid library.

Detailed Description

Author

c3054737

Copyright

2025 lucid

Licence:

BSD 3-Clause License

SoplexOptimiser class.