spellings
Renamed solver to signalize both use cases