diff --git a/src/scip/config.h b/src/scip/config.h new file mode 100644 index 0000000000..871fde8e55 --- /dev/null +++ b/src/scip/config.h @@ -0,0 +1,31 @@ +#ifndef __CONFIG_H__ +#define __CONFIG_H__ + +#define CMAKE_BUILD_TYPE "Release" +#define SCIP_VERSION_MAJOR 9 +#define SCIP_VERSION_MINOR 2 +#define SCIP_VERSION_PATCH 2 +#define SCIP_VERSION_SUB 0 +#define SCIP_VERSION_API 115 +/* #undef BMS_NOBLOCKMEM */ +/* #undef SCIP_NOBUFFERMEM */ +/* #undef WITH_DEBUG_SOLUTION */ +/* #undef SCIP_NO_SIGACTION */ +/* #undef SCIP_NO_STRTOK_R */ +/* #undef TPI_NONE */ +/* #undef TPI_OMP */ +#define SCIP_THREADSAFE +#define WITH_SCIPDEF +/* #undef SCIP_WITH_LAPACK */ +/* #undef SCIP_WITH_PAPILO */ +#define SCIP_WITH_ZLIB +/* #undef SCIP_WITH_READLINE */ +/* #undef SCIP_WITH_GMP */ +/* #undef SCIP_WITH_LPSCHECK */ +/* #undef SCIP_WITH_ZIMPL */ +/* #undef SCIP_WITH_AMPL */ +#define SCIP_ROUNDING_FE +/* #undef SCIP_ROUNDING_FP */ +/* #undef SCIP_ROUNDING_MS */ + +#endif