added solver option documentation