Function set_option 

pub unsafe extern "C" fn set_option(
    cvc5: *mut Solver,
    option: *const c_char,
    value: *const c_char,
)

Set option.

SMT-LIB:

\verbatim embed:rst:leading-asterisk .. code:: smtlib

(set-option :<option> <value>)

\endverbatim

@param cvc5 The solver instance. @param option The option name. @param value The option value.