Z3Lib constructor

Z3Lib(
  1. DynamicLibrary dynamicLibrary
)

The symbols are looked up in dynamicLibrary.

Implementation

Z3Lib(ffi.DynamicLibrary dynamicLibrary) : _lookup = dynamicLibrary.lookup;