Your IP : 216.73.216.79

Current Path : /proc/thread-self/root/usr/include/
Upload File :
Current File : //proc/thread-self/root/usr/include/z3_version.h

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

#define Z3_FULL_VERSION    "4.8.12.0"
/* #undef Z3GITHASH */