Added documentation to the endgame_program and the rab solver, that has to be developed.