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