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

#define Z3_FULL_VERSION    "4.12.5.0 a7b564cafe3b96c8a868388bc4b96b319facea44 z3-4.8.4-8191-ga7b564caf"
#define Z3GITHASH a7b564cafe3b96c8a868388bc4b96b319facea44
