z3GlobalCloseLog function

void z3GlobalCloseLog()

Stop logging API interactions.

Implementation

void z3GlobalCloseLog() => _libz3.close_log();