version.hpp

Go to the documentation of this file.

 
#define SISTA_VERSION "3.0.0"
#define SISTA_VERSION_MAJOR 3
#define SISTA_VERSION_MINOR 0
#define SISTA_VERSION_PATCH 0
 
namespace sista {
    inline const char* getVersion() {
        return SISTA_VERSION;
    }
    inline int getVersionMajor() {
        return SISTA_VERSION_MAJOR;
    }
    inline int getVersionMinor() {
        return SISTA_VERSION_MINOR;
    }
    inline int getVersionPatch() {
        return SISTA_VERSION_PATCH;
    }
};