Detailed Description

A set of options for the LexLSI solver.

These are directly the lexlsi options as found in LexLS::ParametersLexLSI. Documentation and default values are copied from lexls/typedefs.h which should serve as a reference in case of doubt/discrepancies.

The documentation for this class was generated from the following file:

include/tvm/solver/LexLSSolverOptions.h