Function Z3_finalize_memory 

pub unsafe extern "C" fn Z3_finalize_memory()

Destroy all allocated resources.

Any pointers previously returned by the API become invalid. Can be used for memory leak detection.