2 * Copyright (c) 2007, Novell Inc.
4 * This program is licensed under the BSD license, read LICENSE.BSD
5 * for further information
13 #ifndef SATSOLVER_SATVERSION_H
14 #define SATSOLVER_SATVERSION_H
16 #define SATSOLVER_VERSION_STRING "@VERSION@"
17 #define SATSOLVER_VERSION_MAJOR @LIBSATSOLVER_MAJOR@
18 #define SATSOLVER_VERSION_MINOR @LIBSATSOLVER_MINOR@
19 #define SATSOLVER_VERSION_PATCH @LIBSATSOLVER_PATCH@
20 #define SATSOLVER_VERSION (SATSOLVER_VERSION_MAJOR * 10000 + SATSOLVER_VERSION_MINOR * 100 + SATSOLVER_VERSION_PATCH)
22 extern const char sat_version[];
23 extern int sat_version_major;
24 extern int sat_version_minor;
25 extern int sat_version_patch;