solver, checker, reset working

added functions and new vars to support them