smtrat::compile_information Namespace Reference

Compile time generated information about compiler and system version. More...

Variables
const std::string	SystemName = "Linux"
const std::string	SystemVersion = "6.1.0-0.deb11.11-amd64"
const std::string	BuildType = "DEBUG"
const std::string	CXXCompiler = "/usr/bin/c++"
const std::string	CXXCompilerVersion = "11.3.0"
const std::string	GitRevisionSHA1 = "c3b50044f19b364ff175d8ffa02e0ac9ca9cc791"
const std::string	PackageName = "smtrat"
const std::string	ProjectName = "SMT-RAT"
const std::string	Version = "24.02"
const std::string	Website = "https://ths-rwth.github.io/smtrat/"
const std::string	GitVersion = "24.02"

Detailed Description

Compile time generated information about compiler and system version.

Variable Documentation

BuildType

const std::string smtrat::compile_information::BuildType = "DEBUG"

Definition at line 9 of file compile_information.cpp.

CXXCompiler

const std::string smtrat::compile_information::CXXCompiler = "/usr/bin/c++"

Definition at line 10 of file compile_information.cpp.

CXXCompilerVersion

const std::string smtrat::compile_information::CXXCompilerVersion = "11.3.0"

Definition at line 11 of file compile_information.cpp.

GitRevisionSHA1

const std::string smtrat::compile_information::GitRevisionSHA1 = "c3b50044f19b364ff175d8ffa02e0ac9ca9cc791"

Definition at line 12 of file compile_information.cpp.

GitVersion

const std::string smtrat::compile_information::GitVersion = "24.02"

Definition at line 17 of file compile_information.cpp.

PackageName

const std::string smtrat::compile_information::PackageName = "smtrat"

Definition at line 13 of file compile_information.cpp.

ProjectName

const std::string smtrat::compile_information::ProjectName = "SMT-RAT"

Definition at line 14 of file compile_information.cpp.

SystemName

const std::string smtrat::compile_information::SystemName = "Linux"

Definition at line 7 of file compile_information.cpp.

SystemVersion

const std::string smtrat::compile_information::SystemVersion = "6.1.0-0.deb11.11-amd64"

Definition at line 8 of file compile_information.cpp.

Version

const std::string smtrat::compile_information::Version = "24.02"

Definition at line 15 of file compile_information.cpp.

Website

const std::string smtrat::compile_information::Website = "https://ths-rwth.github.io/smtrat/"

Definition at line 16 of file compile_information.cpp.