Опции - это способ объединения набора пар имя-значение. Они полезны, поскольку позволяют:
Настройте или измените процесс оптимизации.
Выберите дополнительные элементы, такие как функции вывода и функции печати.
Сохранение и повторное использование параметров.
Они упрощают синтаксис решателя - вам не нужно включать много пар имя-значение в вызов решателя.
Сведения о настройке и изменении параметров см. в разделах Настройка и изменение параметров.
Общие сведения обо всех опциях, в том числе о том, какие решатели используют каждую опцию, см. в разделе Ссылка на опции оптимизации.