version.hpp

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2025-2026 FLAK-ZOSO <mattia.marchese.2006@gmail.com>
 * SPDX-License-Identifier: GPL-3.0-only
 */
 
#define SISTA_VERSION "3.1.0"
#define SISTA_VERSION_MAJOR 3
#define SISTA_VERSION_MINOR 1
#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;
    }
};