libz3Override top-level property

DynamicLibrary? libz3Override
getter/setter pair

Implementation

DynamicLibrary? libz3Override;