satversion.c

Go to the documentation of this file.

/*
 * Copyright (c) 2009, Novell Inc.
 *
 * This program is licensed under the BSD license, read LICENSE.BSD
 * for further information
 */

#include "satversion.h"

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;