// automatically generated file.
#define Z3_MAJOR_VERSION   4
#define Z3_MINOR_VERSION   13
#define Z3_BUILD_NUMBER    4
#define Z3_REVISION_NUMBER 0

#define Z3_FULL_VERSION    "4.13.4.0 6f24123f0c9d1d8bd84dec275c5c7aea939a19fe z3-4.8.4-8771-g6f24123f0"
#define Z3GITHASH 6f24123f0c9d1d8bd84dec275c5c7aea939a19fe
