JuliaReach/LazySets.jl

Unify switching logic for solvers

schillic opened this issue · 0 comments

In #3418 we added the same switching logic for SDP solvers as we already used for exponential backends. Maybe a common pattern can be extracted and outsourced.

We also discussed that one may want to go from just symbols to structs in order to pass options to the default solver. But this should only be done if there is a benefit.