cadical_version.cpp File Reference

#include "global.h"
#include "version.hpp"

Include dependency graph for cadical_version.cpp:

Go to the source code of this file.

Namespaces
namespace	CaDiCaL

Macros
#define	VERSION   "2.2.0-rc1"
#define	COMPILER   0
#define	IDENTIFIER   0
#define	SHORTIDSTR   ""
#define	SHORTID   0
#define	FLAGS   0
#define	DATE   __DATE__ " " __TIME__

Functions
const char *	CaDiCaL::version ()
const char *	CaDiCaL::copyright ()
const char *	CaDiCaL::authors ()
const char *	CaDiCaL::affiliations ()
const char *	CaDiCaL::signature ()
const char *	CaDiCaL::identifier ()
const char *	CaDiCaL::compiler ()
const char *	CaDiCaL::date ()
const char *	CaDiCaL::flags ()

Macro Definition Documentation

COMPILER

#define COMPILER   0

Definition at line 65 of file cadical_version.cpp.

DATE

#define DATE   __DATE__ " " __TIME__

Definition at line 90 of file cadical_version.cpp.

FLAGS

#define FLAGS   0

Definition at line 84 of file cadical_version.cpp.

IDENTIFIER

#define IDENTIFIER   0

Definition at line 72 of file cadical_version.cpp.

SHORTID

#define SHORTID   0

Definition at line 78 of file cadical_version.cpp.

SHORTIDSTR

#define SHORTIDSTR   ""

Definition at line 77 of file cadical_version.cpp.

VERSION

#define VERSION   "2.2.0-rc1"

Definition at line 29 of file cadical_version.cpp.