z3GlobalCloseLog function

void z3GlobalCloseLog()

Implementation

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