ipafair_release

Function ipafair_release 

Source
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