Update README with info on solver options.