satsolver
0.17.2
Main Page
Related Pages
Classes
Files
File List
File Members
src
satversion.c
Go to the documentation of this file.
1
/*
2
* Copyright (c) 2009, Novell Inc.
3
*
4
* This program is licensed under the BSD license, read LICENSE.BSD
5
* for further information
6
*/
7
8
#include "satversion.h"
9
10
const
char
sat_version
[] = SATSOLVER_VERSION_STRING;
11
int
sat_version_major
= SATSOLVER_VERSION_MAJOR;
12
int
sat_version_minor
= SATSOLVER_VERSION_MINOR;
13
int
sat_version_patch
= SATSOLVER_VERSION_PATCH;
Generated by
1.8.4