We take an implicit context binding, the classTag, of the trait of the solver desired.
We take an implicit context binding, the classTag, of the trait of the solver desired.
Due to Scala semantics, it is usually not enough to request a solver via merely
val s:SolverType = backend.getSolver
but instead requires an explicit solver tag, i.e.:
val s = backend.getSolver[SolverType]