Add the 0.4.0 version of the solver.