Function get_logic 

pub unsafe extern "C" fn get_logic(cvc5: *mut Solver) -> *const c_char

Get the logic set the solver. @note Asserts `cvc5_is_logic_set()1. @return The logic used by the solver. @note The returned char* pointer is only valid until the next call to this function.