First commit of DP_solver.