added some docs to the solver constructor