the ctor for Solver has changed upstream
the ctor for Solver has changed upstream