making the parser's results be passed into the solver