This repository was archived by the owner on Jun 14, 2022. It is now read-only.

Rename `VLEOptions` to `SolverOptions`#39

Merged

prehner merged 1 commit intomainfrom

rename_vleoptions

Mar 9, 2022

Commits on Mar 9, 2022

Rename `VLEOptions` to `SolverOptions`
prehner
committed