z3GlobalFullVersion top-level property

String z3GlobalFullVersion

final

The full version string of Z3.

Implementation

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