Documentation
    Preparing search index...

    Type Alias SolverSelection

    SolverSelection: "auto" | SolverName

    What a world may ask for (§20, §37): "auto", or one solver by name.

    Settings
    Member Visibility