the solver for the peach project