1#ifndef SOLVERSELECTIONOPTIONS_H
2#define SOLVERSELECTIONOPTIONS_H
9 SoundValueIteration, OptimisticValueIteration, ViToPi, ViToLp, Acyclic)
19 OptimisticValueIteration, IntervalIteration, RationalSearch)
#define ExtendEnumsWithSelectionField(NAME,...)
Gmmxx LraDistributionEquations Z3
Gmmxx LraDistributionEquations Gurobi
Gmmxx LraDistributionEquations Soplex Mathsat Qmr
Gmmxx LraDistributionEquations Glpk
Gmmxx LraDistributionEquations Soplex Mathsat Gmres DGmres
Gmmxx LraDistributionEquations Soplex Mathsat Bicgstab
Gmmxx LraDistributionEquations Soplex Mathsat Gmres SparseLU