pub unsafe extern "C" fn set_logic(
cvc5: *mut Solver,
logic: *const c_char,
)Expand description
Set logic.
SMT-LIB:
\verbatim embed:rst:leading-asterisk .. code:: smtlib
(set-logic <symbol>)\endverbatim
@param cvc5 The solver instance. @param logic The logic to set.