include/z3_version.h (
5
lines of code) (
raw
):
// automatically generated file. #define Z3_MAJOR_VERSION 4 #define Z3_MINOR_VERSION 8 #define Z3_BUILD_NUMBER 14 #define Z3_REVISION_NUMBER 0 #define Z3_FULL_VERSION "Z3 4.8.14.0"