how to set solver options?