pub unsafe extern "C" fn get_tm(cvc5: *mut Solver) -> *mut TermManagerExpand description
Get the associated term manager of a cvc5 solver instance. @param cvc5 The solver instance. @return The term manager.
pub unsafe extern "C" fn get_tm(cvc5: *mut Solver) -> *mut TermManagerGet the associated term manager of a cvc5 solver instance. @param cvc5 The solver instance. @return The term manager.