pub unsafe extern "C" fn Z3_reset_memory()Expand description
Reset all allocated resources.
Use this facility on out-of memory errors. It allows discharging the previous state and resuming afresh. Any pointers previously returned by the API become invalid.