| satversion.h | satversion.h | |||
|---|---|---|---|---|
| skipping to change at line 16 | skipping to change at line 16 | |||
| */ | */ | |||
| /* | /* | |||
| * satversion.h | * satversion.h | |||
| * | * | |||
| */ | */ | |||
| #ifndef SATSOLVER_SATVERSION_H | #ifndef SATSOLVER_SATVERSION_H | |||
| #define SATSOLVER_SATVERSION_H | #define SATSOLVER_SATVERSION_H | |||
| #define SATSOLVER_VERSION_STRING "0.15.1" | #define SATSOLVER_VERSION_STRING "0.16.0" | |||
| #define SATSOLVER_VERSION_MAJOR 0 | #define SATSOLVER_VERSION_MAJOR 0 | |||
| #define SATSOLVER_VERSION_MINOR 15 | #define SATSOLVER_VERSION_MINOR 16 | |||
| #define SATSOLVER_VERSION_PATCH 1 | #define SATSOLVER_VERSION_PATCH 0 | |||
| #define SATSOLVER_VERSION (SATSOLVER_VERSION_MAJOR * 10000 + SATSOLVER_VERS ION_MINOR * 100 + SATSOLVER_VERSION_PATCH) | #define SATSOLVER_VERSION (SATSOLVER_VERSION_MAJOR * 10000 + SATSOLVER_VERS ION_MINOR * 100 + SATSOLVER_VERSION_PATCH) | |||
| extern const char sat_version[]; | extern const char sat_version[]; | |||
| extern int sat_version_major; | extern int sat_version_major; | |||
| extern int sat_version_minor; | extern int sat_version_minor; | |||
| extern int sat_version_patch; | extern int sat_version_patch; | |||
| #endif | #endif | |||
| End of changes. 2 change blocks. | ||||
| 3 lines changed or deleted | 3 lines changed or added | |||