add a few docstrings to state.solver
add a few docstrings to state.solver

angr/angr,tyb0807/angr,schieb/angr,iamahuman/angr,schieb/angr,angr/angr,angr/angr,iamahuman/angr,tyb0807/angr,schieb/angr,tyb0807/angr,iamahuman/angr