Add more docstrings to state.solver (#896)
Add more docstrings to state.solver (#896)

* Add more docstrings to state.solver

* Everything is documented now

* There's no solve() in Claripy solvers

* simplify() only applies to one or zero expression

* downsize() should not return anything

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