pub unsafe extern "C" fn cvc5_assert_formula(
cvc5: *mut Cvc5,
term: Cvc5Term,
)Expand description
Assert a formula.
SMT-LIB:
\verbatim embed:rst:leading-asterisk .. code:: smtlib
(assert <term>)\endverbatim
@param cvc5 The solver instance. @param term The formula to assert.