- solvers are not freed directly, they are reclaimed by their
  solver factory

- reset() is used when available to reset a solver instead of creating a
  fresh one.