• Home
• tools.aqua
• z3-turnkey
• 4.12.6
• source code
• z3_version.h.cmake.in

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.12.6.src.util.z3_version.h.cmake.in Maven / Gradle / Ivy

// automatically generated file.
#define Z3_MAJOR_VERSION   @Z3_VERSION_MAJOR@
#define Z3_MINOR_VERSION   @Z3_VERSION_MINOR@
#define Z3_BUILD_NUMBER    @Z3_VERSION_PATCH@
#define Z3_REVISION_NUMBER @Z3_VERSION_TWEAK@

#define Z3_FULL_VERSION    @Z3_FULL_VERSION@
#cmakedefine Z3GITHASH @Z3GITHASH@