compile_information.cpp File Reference

#include "compile_information.h"

Include dependency graph for compile_information.cpp:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::compile_information
	Compile time generated information about compiler and system version.

Functions
std::ostream &	smtrat::operator<< (std::ostream &os, CMakeOptionPrinter cmop)

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