Returns a new, mutable SolverBuilder seeded with this factory's defaults, for fluent, stepwise construction.