/* fplll/fplll_config.h.  Generated from fplll_config.h.in by configure.  */
#ifndef FPLLL_CONFIG__H
#define FPLLL_CONFIG__H

/* use quaddouble library */
#define FPLLL_WITH_QD 1

/* fplll major version */
#define FPLLL_MAJOR_VERSION 5

/* fplll minor version */
#define FPLLL_MINOR_VERSION 1

/* fplll micro version */
#define FPLLL_MICRO_VERSION 0

/* fplll sonum */
#define FPLLL_SONUM @FPLLL_SONUM@

/* fplll version */
#define FPLLL_VERSION 5.1.0

/* fplll version info */
#define FPLLL_VERSION_INFO 

/* Maximum supported enumeration dimension */
#define FPLLL_MAX_ENUM_DIMENSION 256

#endif //FPLLL_CONFIG__H
