Function set_info 

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

Set info.

SMT-LIB:

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

(set-info <attribute>)

\endverbatim

@param cvc5 The solver instance. @param keyword The info flag. @param value The value of the info flag.