// version.cpp is automatically generated from version.cpp.in, see CMakeLists.txt for details
const char* VERSION_STRING = "Vampire ${VAMPIRE_VERSION_NUMBER} (commit ${GIT_COMMIT_DESCRIPTION})";