/* Automatically generated by CMake 3.13.3 on Thu Jan 24 08:27:16 2019 */
/* DO NOT EDIT (unless you know what you are doing) */

#ifndef NUSMV_EXEEXT
#define NUSMV_EXEEXT ""
#endif

#ifndef NUSMV_HAVE_LIBM
#define NUSMV_HAVE_LIBM 0
#endif

#ifndef NUSMV_HAVE_LIBREADLINE
#define NUSMV_HAVE_LIBREADLINE 1
#endif

#ifndef NUSMV_HAVE_LIBXML2
#define NUSMV_HAVE_LIBXML2 1
#endif

#ifndef NUSMV_HAVE_LIBGMP
#define NUSMV_HAVE_LIBGMP 0
#endif

#ifndef NUSMV_HAVE_BIGNUMBERS
#define NUSMV_HAVE_BIGNUMBERS 0
#endif

#ifndef NUSMV_HAVE_BMC_PROFILER_LIBRARY
#define NUSMV_HAVE_BMC_PROFILER_LIBRARY 0
#endif

#ifndef NUSMV_HAVE_WATCHDOG_LIBRARY
#define NUSMV_HAVE_WATCHDOG_LIBRARY 0
#endif

#ifndef NUSMV_FUNCATTR_NORETURN
#define NUSMV_FUNCATTR_NORETURN __attribute__ ((noreturn))
#endif

#ifndef NUSMV_GCC_WARN_UNUSED_RESULT
#define NUSMV_GCC_WARN_UNUSED_RESULT __attribute__ ((__warn_unused_result__))
#endif

#ifndef NUSMV_HAVE_MALLOC
#define NUSMV_HAVE_MALLOC 1
#endif

#ifndef NUSMV_HAVE_MALLOC_H
#define NUSMV_HAVE_MALLOC_H 0
#endif

#ifndef NUSMV_HAVE_SYS_MALLOC_H
#define NUSMV_HAVE_SYS_MALLOC_H 0
#endif

#ifndef NUSMV_HAVE_DIRENT_H
#define NUSMV_HAVE_DIRENT_H 1
#endif

#ifndef NUSMV_HAVE_DLFCN_H
#define NUSMV_HAVE_DLFCN_H 1
#endif

#ifndef NUSMV_HAVE_ERRNO_H
#define NUSMV_HAVE_ERRNO_H 1
#endif

#ifndef NUSMV_HAVE_ERRNO_H
#define NUSMV_HAVE_ERRNO_H 1
#endif

#ifndef NUSMV_HAVE_FLOAT_H
#define NUSMV_HAVE_FLOAT_H 1
#endif

#ifndef NUSMV_HAVE_FNMATCH_H
#define NUSMV_HAVE_FNMATCH_H 1
#endif

#ifndef NUSMV_HAVE_INTTYPES_H
#define NUSMV_HAVE_INTTYPES_H 1
#endif

#ifndef NUSMV_HAVE_LIMITS_H
#define NUSMV_HAVE_LIMITS_H 1
#endif

#ifndef NUSMV_HAVE_MEMORY_H
#define NUSMV_HAVE_MEMORY_H 1
#endif

#ifndef NUSMV_HAVE_NDIR_H
#define NUSMV_HAVE_NDIR_H 0
#endif

#ifndef NUSMV_HAVE_REGEX_H
#define NUSMV_HAVE_REGEX_H 1
#endif

#ifndef NUSMV_HAVE_SIGNAL_H
#define NUSMV_HAVE_SIGNAL_H 1
#endif

#ifndef NUSMV_HAVE_STDBOOL_H
#define NUSMV_HAVE_STDBOOL_H 1
#endif

#ifndef NUSMV_HAVE_STDDEF_H
#define NUSMV_HAVE_STDDEF_H 1
#endif

#ifndef NUSMV_HAVE_STDINT_H
#define NUSMV_HAVE_STDINT_H 1
#endif

#ifndef NUSMV_HAVE_STDLIB_H
#define NUSMV_HAVE_STDLIB_H 1
#endif

#ifndef NUSMV_HAVE_STRING_H
#define NUSMV_HAVE_STRING_H 1
#endif

#ifndef NUSMV_HAVE_STRINGS_H
#define NUSMV_HAVE_STRINGS_H 1
#endif

#ifndef NUSMV_HAVE_SYS_DIR_H
#define NUSMV_HAVE_SYS_DIR_H 1
#endif

#ifndef NUSMV_HAVE_SYS_NDIR_H
#define NUSMV_HAVE_SYS_NDIR_H 0
#endif

#ifndef NUSMV_HAVE_SYS_IOCTL_H
#define NUSMV_HAVE_SYS_IOCTL_H 1
#endif

#ifndef NUSMV_HAVE_SYS_PARAM_H
#define NUSMV_HAVE_SYS_PARAM_H 1
#endif

#ifndef NUSMV_HAVE_SYS_RESOURCE_H
#define NUSMV_HAVE_SYS_RESOURCE_H 1
#endif

#ifndef NUSMV_HAVE_SYS_SIGNAL_H
#define NUSMV_HAVE_SYS_SIGNAL_H 1
#endif

#ifndef NUSMV_HAVE_SYS_STAT_H
#define NUSMV_HAVE_SYS_STAT_H 1
#endif

#ifndef NUSMV_HAVE_SYS_TIME_H
#define NUSMV_HAVE_SYS_TIME_H 1
#endif

#ifndef NUSMV_HAVE_SYS_TYPES_H
#define NUSMV_HAVE_SYS_TYPES_H 1
#endif

#ifndef NUSMV_HAVE_UNISTD_H
#define NUSMV_HAVE_UNISTD_H 1
#endif

#ifndef NUSMV_HAVE_FLOOR
#define NUSMV_HAVE_FLOOR 1
#endif

#ifndef NUSMV_HAVE_GETENV
#define NUSMV_HAVE_GETENV 1
#endif

#ifndef NUSMV_HAVE_GETPID
#define NUSMV_HAVE_GETPID 1
#endif

#ifndef NUSMV_HAVE_ISATTY
#define NUSMV_HAVE_ISATTY 1
#endif

#ifndef NUSMV_HAVE_MEMMOVE
#define NUSMV_HAVE_MEMMOVE 1
#endif

#ifndef NUSMV_HAVE_MEMSET
#define NUSMV_HAVE_MEMSET 1
#endif

#ifndef NUSMV_HAVE_MKSTEMP
#define NUSMV_HAVE_MKSTEMP 1
#endif

#ifndef NUSMV_HAVE_MKTEMP
#define NUSMV_HAVE_MKTEMP 1
#endif

#ifndef NUSMV_HAVE_POPEN
#define NUSMV_HAVE_POPEN 1
#endif

#ifndef NUSMV_HAVE_POW
#define NUSMV_HAVE_POW 1
#endif

#ifndef NUSMV_HAVE_RANDOM
#define NUSMV_HAVE_RANDOM 1
#endif

#ifndef NUSMV_HAVE_REALLOC
#define NUSMV_HAVE_REALLOC 1
#endif

#ifndef NUSMV_HAVE_SETVBUF
#define NUSMV_HAVE_SETVBUF 1
#endif

#ifndef NUSMV_HAVE_SRANDOM
#define NUSMV_HAVE_SRANDOM 1
#endif

#ifndef NUSMV_HAVE_STRCASECMP
#define NUSMV_HAVE_STRCASECMP 1
#endif

#ifndef NUSMV_HAVE_STRCHR
#define NUSMV_HAVE_STRCHR 1
#endif

#ifndef NUSMV_HAVE_STRRCHR
#define NUSMV_HAVE_STRRCHR 1
#endif

#ifndef NUSMV_HAVE_STRSTR
#define NUSMV_HAVE_STRSTR 1
#endif

#ifndef NUSMV_HAVE_STRTOD
#define NUSMV_HAVE_STRTOD 1
#endif

#ifndef NUSMV_HAVE_STRTOL
#define NUSMV_HAVE_STRTOL 1
#endif

#ifndef NUSMV_HAVE_STRTOULL
#define NUSMV_HAVE_STRTOULL 1
#endif

#ifndef NUSMV_HAVE_SYSTEM
#define NUSMV_HAVE_SYSTEM 1
#endif

#ifndef NUSMV_HAVE_TMPNAM
#define NUSMV_HAVE_TMPNAM 1
#endif

#ifndef NUSMV_HAVE_VPRINTF
#define NUSMV_HAVE_VPRINTF 1
#endif

#ifndef NUSMV_HAVE__BOOL
#define NUSMV_HAVE__BOOL 1
#endif

#ifndef NUSMV_SIZEOF_INT
#define NUSMV_SIZEOF_INT 4
#endif

#ifndef NUSMV_SIZEOF_LONG
#define NUSMV_SIZEOF_LONG 8
#endif

#ifndef NUSMV_SIZEOF_LONG_LONG
#define NUSMV_SIZEOF_LONG_LONG 8
#endif

#ifndef NUSMV_SIZEOF_VOID_P
#define NUSMV_SIZEOF_VOID_P 8
#endif

#ifndef NUSMV_HAVE_CPP
#define NUSMV_HAVE_CPP 0
#endif

#ifndef NUSMV_PROG_CPP
#define NUSMV_PROG_CPP "cpp -x c"
#endif

#ifndef NUSMV_STDC_HEADERS
#define NUSMV_STDC_HEADERS 1
#endif

#ifndef NUSMV_HAVE_CUDD_24
#define NUSMV_HAVE_CUDD_24 1
#endif

#ifndef NUSMV_HAVE_SAT_SOLVER
#define NUSMV_HAVE_SAT_SOLVER 1
#endif

#ifndef NUSMV_HAVE_MINISAT_INTERPOLATION
#define NUSMV_HAVE_MINISAT_INTERPOLATION 0
#endif

#ifndef NUSMV_NO_POINTER_ORDERING
#define NUSMV_NO_POINTER_ORDERING 1
#endif

#ifndef NUSMV_HAVE_INTERACTIVE_SHELL
#define NUSMV_HAVE_INTERACTIVE_SHELL 1
#endif

#ifndef NUSMV_LIBRARY_NAME
#define NUSMV_LIBRARY_NAME "NuSMV"
#endif

#ifndef NUSMV_LIBRARY_VERSION
#define NUSMV_LIBRARY_VERSION "2.6.0"
#endif

#ifndef NUSMV_LIBRARY_BUILD_DATE
#define NUSMV_LIBRARY_BUILD_DATE "Thu Jan 24 08:27:16 2019"
#endif

#ifndef NUSMV_LIBRARY_WEBSITE
#define NUSMV_LIBRARY_WEBSITE "http://nusmv.fbk.eu"
#endif

#ifndef NUSMV_LIBRARY_EMAIL
#define NUSMV_LIBRARY_EMAIL "nusmv-users@list.fbk.eu"
#endif

#ifndef NUSMV_LIBRARY_BUGREPORT
#define NUSMV_LIBRARY_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
#endif

#ifndef NUSMV_PACKAGE_BUILD_DATE
#define NUSMV_PACKAGE_BUILD_DATE "Thu Jan 24 08:27:16 2019"
#endif

#ifndef NUSMV_PACKAGE_BUGREPORT
#define NUSMV_PACKAGE_BUGREPORT "Please report bugs to <nusmv-users@fbk.eu>"
#endif

#ifndef NUSMV_PACKAGE_NAME
#define NUSMV_PACKAGE_NAME "NuSMV"
#endif

#ifndef NUSMV_PACKAGE_TARNAME
#define NUSMV_PACKAGE_TARNAME "nusmv"
#endif

#ifndef NUSMV_PACKAGE_URL
#define NUSMV_PACKAGE_URL ""
#endif

#ifndef NUSMV_PACKAGE_VERSION
#define NUSMV_PACKAGE_VERSION "2.6.0"
#endif

#ifndef NUSMV_PACKAGE_STRING
#define NUSMV_PACKAGE_STRING "NuSMV 2.6.0"
#endif

#ifndef NUSMV_HAVE_SOLVER_MINISAT
#define NUSMV_HAVE_SOLVER_MINISAT 1
#endif

#ifndef NUSMV_HAVE_SOLVER_ZCHAFF
#define NUSMV_HAVE_SOLVER_ZCHAFF 0
#endif

#ifndef NUSMV_HAVE_COMPASS
#define NUSMV_HAVE_COMPASS 1
#endif

#ifndef NUSMV_LINKED_CORE_ADDONS
#define NUSMV_LINKED_CORE_ADDONS "compass"
#endif

