Solver docs

Add more complete documentation of the solve interface.