z3GlobalFullVersion top-level property

String z3GlobalFullVersion

final

Implementation

final String z3GlobalFullVersion =
    _libz3.get_full_version().cast<Utf8>().toDartString();