Added more docs to solver
Added more docs to state.py