Added a very rough implementation for recording the PV in exact_solver.