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

#define Z3_FULL_VERSION    "4.12.2.0 e417f7d78509b2d0c9ebc911fee7632e6ef546b6 z3-4.8.4-7517-ge417f7d78"
#define Z3GITHASH e417f7d78509b2d0c9ebc911fee7632e6ef546b6
