#include "satversion.h"
Go to the source code of this file.
Variables | |
const char | sat_version [] = SATSOLVER_VERSION_STRING |
int | sat_version_major = SATSOLVER_VERSION_MAJOR |
int | sat_version_minor = SATSOLVER_VERSION_MINOR |
int | sat_version_patch = SATSOLVER_VERSION_PATCH |
const char sat_version[] = SATSOLVER_VERSION_STRING |
Definition at line 10 of file satversion.c.
int sat_version_major = SATSOLVER_VERSION_MAJOR |
Definition at line 11 of file satversion.c.
int sat_version_minor = SATSOLVER_VERSION_MINOR |
Definition at line 12 of file satversion.c.
int sat_version_patch = SATSOLVER_VERSION_PATCH |
Definition at line 13 of file satversion.c.