ソルバーであれば
sorubādeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of ソルバー

1. If solver; When solver

Ba Conditional
Computing