pub unsafe extern "C" fn ipafair_release(solver: *mut c_void)Expand description
Release the solver, i.e., all its resources and allocated memory. The solver pointer cannot be used for any purposes after this call.
Required state: INPUT or SAT or UNSAT or ERROR State after: undefined