21 #ifndef __CVC4__CONFIGURATION_H
22 #define __CVC4__CONFIGURATION_H
37 static const bool IS_SUBVERSION_BUILD;
38 static const char*
const SUBVERSION_BRANCH_NAME;
39 static const unsigned SUBVERSION_REVISION;
40 static const bool SUBVERSION_HAS_MODIFICATIONS;
41 static const bool IS_GIT_BUILD;
42 static const char*
const GIT_BRANCH_NAME;
43 static const char*
const GIT_COMMIT;
44 static const bool GIT_HAS_MODIFICATIONS;
48 static std::string getName();
50 static bool isDebugBuild();
52 static bool isStatisticsBuild();
54 static bool isReplayBuild();
56 static bool isTracingBuild();
58 static bool isDumpingBuild();
60 static bool isMuzzledBuild();
62 static bool isAssertionBuild();
64 static bool isProofBuild();
66 static bool isCoverageBuild();
68 static bool isProfilingBuild();
70 static bool isCompetitionBuild();
72 static std::string getPackageName();
74 static std::string getVersionString();
76 static unsigned getVersionMajor();
78 static unsigned getVersionMinor();
80 static unsigned getVersionRelease();
82 static std::string getVersionExtra();
84 static std::string about();
86 static bool isBuiltWithGmp();
88 static bool isBuiltWithCln();
90 static bool isBuiltWithGlpk();
92 static bool isBuiltWithCudd();
94 static bool isBuiltWithTlsSupport();
97 static unsigned getNumDebugTags();
99 static char const*
const* getDebugTags();
101 static bool isDebugTag(
char const *);
104 static unsigned getNumTraceTags();
106 static char const*
const* getTraceTags();
108 static bool isTraceTag(
char const *);
110 static bool isGitBuild();
111 static const char* getGitBranchName();
112 static const char* getGitCommit();
113 static bool hasGitModifications();
114 static std::string getGitId();
116 static bool isSubversionBuild();
117 static const char* getSubversionBranchName();
118 static unsigned getSubversionRevision();
119 static bool hasSubversionModifications();
120 static std::string getSubversionId();
122 static std::string getCompiler();
123 static std::string getCompiledDateTime();
This is CVC4 release version For build and installation please see the INSTALL file included with this distribution This first official release of CVC4 is the result of more than three years of efforts by researchers at New York University and The University of Iowa The project leaders are Clark please refer to the AUTHORS file in the source distribution CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order CVC CVC3 but does not directly incorporate code from any previous version CVC4 is intended to be an open and extensible SMT engine It can be used as a stand alone tool or as a library It has been designed to increase the performance and reduce the memory overhead of its predecessors It is written entirely in C and is released under a free software see the INSTALL file that comes with this distribution We recommend that you visit our CVC4 tutorials online please write to the cvc users cs nyu edu mailing list *if you need to report a bug with CVC4
Represents the (static) configuration of CVC4.
Macros that should be defined everywhere during the building of the libraries and driver binary...