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

#define Z3_FULL_VERSION    "4.14.1.0 3c0d786e6e86b6a10cbc14703c3f863c568b85dd z3-4.8.4-9238-g3c0d786e6"
#define Z3GITHASH 3c0d786e6e86b6a10cbc14703c3f863c568b85dd
