pub unsafe extern "C" fn assert_formula(cvc5: *mut Solver, term: Term)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.