/* include/config.h.  Generated from config.h.in by configure.  */
/* include/config.h.in.  Generated from autoconf/configure.tmp.ac by autoheader.
 */

/* BOOLECTOR solver */
/* #undef BOOLECTOR */

/* BOOLECTOR solver */
#define BOOLECTOR_OLD 1

/* Define to 1 if you have the <inttypes.h> header file. */
#define HAVE_INTTYPES_H 1

/* Define to 1 if you have the <memory.h> header file. */
#define HAVE_MEMORY_H 1

/* Define to 1 if you have the <stdint.h> header file. */
#define HAVE_STDINT_H 1

/* Define to 1 if you have the <stdlib.h> header file. */
#define HAVE_STDLIB_H 1

/* Define to 1 if you have the <strings.h> header file. */
#define HAVE_STRINGS_H 1

/* Define to 1 if you have the <string.h> header file. */
#define HAVE_STRING_H 1

/* Define to 1 if you have the <sys/acl.h> header file. */
/* #undef HAVE_SYS_ACL_H */

/* Define to 1 if you have the <sys/stat.h> header file. */
#define HAVE_SYS_STAT_H 1

/* Define to 1 if you have the <sys/types.h> header file. */
#define HAVE_SYS_TYPES_H 1

/* Define to 1 if you have the <unistd.h> header file. */
#define HAVE_UNISTD_H 1

/* MATHSAT solver */
#define MATHSAT 1

/* Define to the address where bug reports for this package should be sent. */
#define PACKAGE_BUGREPORT "milena@matf.bg.ac.rs"

/* Define to the full name of this package. */
#define PACKAGE_NAME "LAV"

/* Define to the full name and version of this package. */
#define PACKAGE_STRING "LAV 0.01"

/* Define to the one symbol short name of this package. */
#define PACKAGE_TARNAME "-lav-"

/* Define to the home page for this package. */
#define PACKAGE_URL ""

/* Define to the version of this package. */
#define PACKAGE_VERSION "0.01"

/* Define to 1 if you have the ANSI C header files. */
#define STDC_HEADERS 1

/* YICES solver */
#define YICES 1

/* Z3 solver */
#define Z3 1
