Utilities | Option editor

The option editor can be used to edit an existing option file or to create a solver specific option file.

Menu:

File Menu:

Read option file

Show a file open dialog to select an existing option file. Only the options that have been modified will be shown.

Create option file

After selecting this item, you will see a list of solvers of which one can be selected to create a new option file; a filename is not yet assigned.

Save option file

A save dialog will be shown to save the option file.

Option Menu:

Reset

Reset the current option to its unassigned value.

Reset all options

Reset all options to their unassigned values.

Reset recent changes

Options that were modified while editing will be reset to their unassigned values.

PopUp Menu:

Option help (F2)

Shows a simple html viewer showing additional information for the current option.

Note that the full product documentation can be reached by clicking the the link in the beginning of the document shown. Ctrl+Home moves to the beginning of the document where this link can be found.

Help  (F1)

Shows this help.