satversion.c File Reference

#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

Variable Documentation

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.