added solver list, minor changes.