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

/*
 * satversion.h
 * 
 */

#ifndef SATSOLVER_SATVERSION_H
#define SATSOLVER_SATVERSION_H

#define SATSOLVER_VERSION_STRING "0.16.4"
#define SATSOLVER_VERSION_MAJOR 0
#define SATSOLVER_VERSION_MINOR 16
#define SATSOLVER_VERSION_PATCH 4
#define SATSOLVER_VERSION (SATSOLVER_VERSION_MAJOR * 10000 + SATSOLVER_VERSION_MINOR * 100 + SATSOLVER_VERSION_PATCH)

extern const char sat_version[];
extern int sat_version_major;
extern int sat_version_minor;
extern int sat_version_patch;

#endif
