libz3Override top-level property

DynamicLibrary? libz3Override
getter/setter pair

Global override for which Z3 library to use.

Implementation

DynamicLibrary? libz3Override;