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]
If backend has loaded (lazily) ok and verified its availability/functionality,
this must return true
.
If backend has loaded (lazily) ok and verified its availability/functionality,
this must return true
.
true