pub unsafe extern "C" fn new(tm: *mut TermManager) -> *mut SolverExpand description
Construct a new instance of a cvc5 solver. @param tm The associated term manager instance. @return The cvc5 solver instance.
pub unsafe extern "C" fn new(tm: *mut TermManager) -> *mut SolverConstruct a new instance of a cvc5 solver. @param tm The associated term manager instance. @return The cvc5 solver instance.