00001 /* 00002 * Copyright (c) 2009, Novell Inc. 00003 * 00004 * This program is licensed under the BSD license, read LICENSE.BSD 00005 * for further information 00006 */ 00007 00008 #include "satversion.h" 00009 00010 const char sat_version[] = SATSOLVER_VERSION_STRING; 00011 int sat_version_major = SATSOLVER_VERSION_MAJOR; 00012 int sat_version_minor = SATSOLVER_VERSION_MINOR; 00013 int sat_version_patch = SATSOLVER_VERSION_PATCH;