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

#define Z3_FULL_VERSION    "4.12.1.0 3012293c35eadbfd73e5b94adbe50b0cc44ffb83 z3-4.8.4-7212-g3012293c3"
#define Z3GITHASH 3012293c35eadbfd73e5b94adbe50b0cc44ffb83
