// automatically generated file. #define Z3_MAJOR_VERSION 4 #define Z3_MINOR_VERSION 8 #define Z3_BUILD_NUMBER 10 #define Z3_REVISION_NUMBER 0 #define Z3_FULL_VERSION "4.8.10.0" /* #undef Z3GITHASH */