# This is the CMakeCache file.
# For build in directory: /home/mdasoh/src/hdl_tools/bitwuzla/build
# It was generated by CMake: /usr/bin/cmake
# You can edit this file to change values found and used by cmake.
# If you do not want to change any of the values, simply exit the editor.
# If you do want to change a value, simply edit, save, and exit the editor.
# The syntax for the file is as follows:
# KEY:TYPE=VALUE
# KEY is the name of a variable in the cache.
# TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!.
# VALUE is the current value for the KEY.

########################
# EXTERNAL cache entries
########################

//Compile with ASAN support
ASAN:STRING=IGNORE

//Enable assertions even for optimized compilation
ASSERTIONS:STRING=IGNORE

//Path to a file.
Btor2Tools_INCLUDE_DIR:PATH=/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/include

//Path to a library.
Btor2Tools_LIBRARIES:FILEPATH=/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/lib/libbtor2parser.a

//Path to a program.
CMAKE_ADDR2LINE:FILEPATH=/usr/bin/addr2line

//Path to a program.
CMAKE_AR:FILEPATH=/usr/bin/ar

//Options are: Debug;Production
CMAKE_BUILD_TYPE:STRING=Production

//Enable/Disable color output during build.
CMAKE_COLOR_MAKEFILE:BOOL=ON

//CXX compiler
CMAKE_CXX_COMPILER:FILEPATH=/usr/bin/c++

//A wrapper around 'ar' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_CXX_COMPILER_AR:FILEPATH=/usr/bin/gcc-ar-8

//A wrapper around 'ranlib' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_CXX_COMPILER_RANLIB:FILEPATH=/usr/bin/gcc-ranlib-8

//Flags used by the CXX compiler during all build types.
CMAKE_CXX_FLAGS:STRING=

//Flags used by the CXX compiler during DEBUG builds.
CMAKE_CXX_FLAGS_DEBUG:STRING=-g

//Flags used by the CXX compiler during MINSIZEREL builds.
CMAKE_CXX_FLAGS_MINSIZEREL:STRING=-Os -DNDEBUG

//Flags used by the CXX compiler during RELEASE builds.
CMAKE_CXX_FLAGS_RELEASE:STRING=-O3 -DNDEBUG

//Flags used by the CXX compiler during RELWITHDEBINFO builds.
CMAKE_CXX_FLAGS_RELWITHDEBINFO:STRING=-O2 -g -DNDEBUG

//C compiler
CMAKE_C_COMPILER:FILEPATH=/usr/bin/cc

//A wrapper around 'ar' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_C_COMPILER_AR:FILEPATH=/usr/bin/gcc-ar-8

//A wrapper around 'ranlib' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_C_COMPILER_RANLIB:FILEPATH=/usr/bin/gcc-ranlib-8

//Flags used by the C compiler during all build types.
CMAKE_C_FLAGS:STRING=

//Flags used by the C compiler during DEBUG builds.
CMAKE_C_FLAGS_DEBUG:STRING=-g

//Flags used by the C compiler during MINSIZEREL builds.
CMAKE_C_FLAGS_MINSIZEREL:STRING=-Os -DNDEBUG

//Flags used by the C compiler during RELEASE builds.
CMAKE_C_FLAGS_RELEASE:STRING=-O3 -DNDEBUG

//Flags used by the C compiler during RELWITHDEBINFO builds.
CMAKE_C_FLAGS_RELWITHDEBINFO:STRING=-O2 -g -DNDEBUG

//Path to a program.
CMAKE_DLLTOOL:FILEPATH=CMAKE_DLLTOOL-NOTFOUND

//Flags used by the linker during all build types.
CMAKE_EXE_LINKER_FLAGS:STRING=

//Flags used by the linker during DEBUG builds.
CMAKE_EXE_LINKER_FLAGS_DEBUG:STRING=

//Flags used by the linker during MINSIZEREL builds.
CMAKE_EXE_LINKER_FLAGS_MINSIZEREL:STRING=

//Flags used by the linker during RELEASE builds.
CMAKE_EXE_LINKER_FLAGS_RELEASE:STRING=

//Flags used by the linker during RELWITHDEBINFO builds.
CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO:STRING=

//Enable/Disable output of compile commands during generation.
CMAKE_EXPORT_COMPILE_COMMANDS:BOOL=

//Install path prefix, prepended onto install directories.
CMAKE_INSTALL_PREFIX:PATH=/usr/local

//Path to a program.
CMAKE_LINKER:FILEPATH=/usr/bin/ld

//Path to a program.
CMAKE_MAKE_PROGRAM:FILEPATH=/usr/bin/make

//Flags used by the linker during the creation of modules during
// all build types.
CMAKE_MODULE_LINKER_FLAGS:STRING=

//Flags used by the linker during the creation of modules during
// DEBUG builds.
CMAKE_MODULE_LINKER_FLAGS_DEBUG:STRING=

//Flags used by the linker during the creation of modules during
// MINSIZEREL builds.
CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL:STRING=

//Flags used by the linker during the creation of modules during
// RELEASE builds.
CMAKE_MODULE_LINKER_FLAGS_RELEASE:STRING=

//Flags used by the linker during the creation of modules during
// RELWITHDEBINFO builds.
CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO:STRING=

//Path to a program.
CMAKE_NM:FILEPATH=/usr/bin/nm

//Path to a program.
CMAKE_OBJCOPY:FILEPATH=/usr/bin/objcopy

//Path to a program.
CMAKE_OBJDUMP:FILEPATH=/usr/bin/objdump

//Value Computed by CMake
CMAKE_PROJECT_DESCRIPTION:STATIC=

//Value Computed by CMake
CMAKE_PROJECT_HOMEPAGE_URL:STATIC=

//Value Computed by CMake
CMAKE_PROJECT_NAME:STATIC=bitwuzla

//Path to a program.
CMAKE_RANLIB:FILEPATH=/usr/bin/ranlib

//Path to a program.
CMAKE_READELF:FILEPATH=/usr/bin/readelf

//Flags used by the linker during the creation of shared libraries
// during all build types.
CMAKE_SHARED_LINKER_FLAGS:STRING=

//Flags used by the linker during the creation of shared libraries
// during DEBUG builds.
CMAKE_SHARED_LINKER_FLAGS_DEBUG:STRING=

//Flags used by the linker during the creation of shared libraries
// during MINSIZEREL builds.
CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL:STRING=

//Flags used by the linker during the creation of shared libraries
// during RELEASE builds.
CMAKE_SHARED_LINKER_FLAGS_RELEASE:STRING=

//Flags used by the linker during the creation of shared libraries
// during RELWITHDEBINFO builds.
CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO:STRING=

//If set, runtime paths are not added when installing shared libraries,
// but are added when building.
CMAKE_SKIP_INSTALL_RPATH:BOOL=NO

//If set, runtime paths are not added when using shared libraries.
CMAKE_SKIP_RPATH:BOOL=NO

//Flags used by the linker during the creation of static libraries
// during all build types.
CMAKE_STATIC_LINKER_FLAGS:STRING=

//Flags used by the linker during the creation of static libraries
// during DEBUG builds.
CMAKE_STATIC_LINKER_FLAGS_DEBUG:STRING=

//Flags used by the linker during the creation of static libraries
// during MINSIZEREL builds.
CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL:STRING=

//Flags used by the linker during the creation of static libraries
// during RELEASE builds.
CMAKE_STATIC_LINKER_FLAGS_RELEASE:STRING=

//Flags used by the linker during the creation of static libraries
// during RELWITHDEBINFO builds.
CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO:STRING=

//Path to a program.
CMAKE_STRIP:FILEPATH=/usr/bin/strip

//If this value is on, makefiles will be generated without the
// .SILENT directive, and all commands will be echoed to the console
// during the make.  This is useful for debugging only. With Visual
// Studio IDE projects all commands are done without /nologo.
CMAKE_VERBOSE_MAKEFILE:BOOL=FALSE

//Path to a file.
CaDiCaL_INCLUDE_DIR:PATH=/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/include

//Path to a library.
CaDiCaL_LIBRARIES:FILEPATH=/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/lib/libcadical.a

//Path to a file.
CryptoMiniSat_INCLUDE_DIR:PATH=CryptoMiniSat_INCLUDE_DIR-NOTFOUND

//Path to a library.
CryptoMiniSat_LIBRARIES:FILEPATH=CryptoMiniSat_LIBRARIES-NOTFOUND

//Build API documentation
DOCS:STRING=IGNORE

//Compile with coverage support
GCOV:STRING=IGNORE

//Git command line client
GIT_EXECUTABLE:FILEPATH=/usr/bin/git

//Path to a file.
GMP_INCLUDE_DIR:PATH=/usr/include/x86_64-linux-gnu

//Path to a library.
GMP_LIBRARIES:FILEPATH=/usr/lib/x86_64-linux-gnu/libgmp.a

//Compile with profiling support
GPROF:STRING=IGNORE

//Path to a file.
Gimsatul_INCLUDE_DIR:PATH=Gimsatul_INCLUDE_DIR-NOTFOUND

//Path to a library.
Gimsatul_LIBRARIES:FILEPATH=Gimsatul_LIBRARIES-NOTFOUND

//Path to a file.
Kissat_INCLUDE_DIR:PATH=Kissat_INCLUDE_DIR-NOTFOUND

//Path to a library.
Kissat_LIBRARIES:FILEPATH=Kissat_LIBRARIES-NOTFOUND

//Compile with logging support (default for Debug builds)
LOG:STRING=IGNORE

//Path to a file.
Lingeling_INCLUDE_DIR:PATH=Lingeling_INCLUDE_DIR-NOTFOUND

//Path to a library.
Lingeling_LIBRARIES:FILEPATH=Lingeling_LIBRARIES-NOTFOUND

//Path to a file.
MiniSat_INCLUDE_DIR:PATH=MiniSat_INCLUDE_DIR-NOTFOUND

//Path to a library.
MiniSat_LIBRARIES:FILEPATH=MiniSat_LIBRARIES-NOTFOUND

//Only use CaDiCaL
ONLY_CADICAL:BOOL=OFF

//Only use CryptoMiniSat
ONLY_CMS:BOOL=OFF

//Only use Kissat
ONLY_KISSAT:BOOL=OFF

//Only use Lingeling
ONLY_LINGELING:BOOL=OFF

//Only use MiniSat
ONLY_MINISAT:BOOL=OFF

//Only use PicoSAT
ONLY_PICOSAT:BOOL=OFF

//Build Python API
PYTHON:STRING=IGNORE

//Path to a file.
PicoSAT_INCLUDE_DIR:PATH=PicoSAT_INCLUDE_DIR-NOTFOUND

//Path to a library.
PicoSAT_LIBRARIES:FILEPATH=PicoSAT_LIBRARIES-NOTFOUND

//Path to a file.
SymFPU_INCLUDE_DIR:PATH=/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/include

//Configure unit and regression testing
TESTING:STRING=IGNORE

//Compile with time statistics
TIME_STATS:STRING=IGNORE

//Compile with UBSan support
UBSAN:STRING=IGNORE

//Use and link with CaDiCaL
USE_CADICAL:STRING=IGNORE

//Use and link with CryptoMiniSat
USE_CMS:STRING=IGNORE

//Use and link with Gimsatul
USE_GIMSATUL:STRING=IGNORE

//Use and link with Kissat
USE_KISSAT:STRING=IGNORE

//Use and link with Lingeling (default)
USE_LINGELING:STRING=IGNORE

//Use and link with MiniSat
USE_MINISAT:STRING=IGNORE

//Use and link with PicoSAT
USE_PICOSAT:STRING=IGNORE

//Use and link with SymFPU
USE_SYMFPU:STRING=ON

//Value Computed by CMake
bitwuzla_BINARY_DIR:STATIC=/home/mdasoh/src/hdl_tools/bitwuzla/build

//Dependencies for the target
bitwuzla_LIB_DEPENDS:STATIC=general;-pthread;general;/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/lib/libbtor2parser.a;general;/usr/lib/x86_64-linux-gnu/libgmp.a;general;/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/lib/libcadical.a;

//Value Computed by CMake
bitwuzla_SOURCE_DIR:STATIC=/home/mdasoh/src/hdl_tools/bitwuzla


########################
# INTERNAL cache entries
########################

//STRINGS property for variable: ASAN
ASAN-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ASSERTIONS
ASSERTIONS-STRINGS:INTERNAL=IGNORE;ON;OFF
//ADVANCED property for variable: Btor2Tools_INCLUDE_DIR
Btor2Tools_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: Btor2Tools_LIBRARIES
Btor2Tools_LIBRARIES-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_ADDR2LINE
CMAKE_ADDR2LINE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_AR
CMAKE_AR-ADVANCED:INTERNAL=1
//STRINGS property for variable: CMAKE_BUILD_TYPE
CMAKE_BUILD_TYPE-STRINGS:INTERNAL=Debug;Production
//This is the directory where this CMakeCache.txt was created
CMAKE_CACHEFILE_DIR:INTERNAL=/home/mdasoh/src/hdl_tools/bitwuzla/build
//Major version of cmake used to create the current loaded cache
CMAKE_CACHE_MAJOR_VERSION:INTERNAL=3
//Minor version of cmake used to create the current loaded cache
CMAKE_CACHE_MINOR_VERSION:INTERNAL=18
//Patch version of cmake used to create the current loaded cache
CMAKE_CACHE_PATCH_VERSION:INTERNAL=4
//ADVANCED property for variable: CMAKE_COLOR_MAKEFILE
CMAKE_COLOR_MAKEFILE-ADVANCED:INTERNAL=1
//Path to CMake executable.
CMAKE_COMMAND:INTERNAL=/usr/bin/cmake
//Path to cpack program executable.
CMAKE_CPACK_COMMAND:INTERNAL=/usr/bin/cpack
//Path to ctest program executable.
CMAKE_CTEST_COMMAND:INTERNAL=/usr/bin/ctest
//ADVANCED property for variable: CMAKE_CXX_COMPILER
CMAKE_CXX_COMPILER-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_CXX_COMPILER_AR
CMAKE_CXX_COMPILER_AR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_CXX_COMPILER_RANLIB
CMAKE_CXX_COMPILER_RANLIB-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_CXX_FLAGS
CMAKE_CXX_FLAGS-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_CXX_FLAGS_DEBUG
CMAKE_CXX_FLAGS_DEBUG-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_CXX_FLAGS_MINSIZEREL
CMAKE_CXX_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_CXX_FLAGS_RELEASE
CMAKE_CXX_FLAGS_RELEASE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_CXX_FLAGS_RELWITHDEBINFO
CMAKE_CXX_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_COMPILER
CMAKE_C_COMPILER-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_COMPILER_AR
CMAKE_C_COMPILER_AR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_COMPILER_RANLIB
CMAKE_C_COMPILER_RANLIB-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_FLAGS
CMAKE_C_FLAGS-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_FLAGS_DEBUG
CMAKE_C_FLAGS_DEBUG-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_FLAGS_MINSIZEREL
CMAKE_C_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_FLAGS_RELEASE
CMAKE_C_FLAGS_RELEASE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_C_FLAGS_RELWITHDEBINFO
CMAKE_C_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_DLLTOOL
CMAKE_DLLTOOL-ADVANCED:INTERNAL=1
//Executable file format
CMAKE_EXECUTABLE_FORMAT:INTERNAL=ELF
//ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS
CMAKE_EXE_LINKER_FLAGS-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_DEBUG
CMAKE_EXE_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_MINSIZEREL
CMAKE_EXE_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_RELEASE
CMAKE_EXE_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO
CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_EXPORT_COMPILE_COMMANDS
CMAKE_EXPORT_COMPILE_COMMANDS-ADVANCED:INTERNAL=1
//Name of external makefile project generator.
CMAKE_EXTRA_GENERATOR:INTERNAL=
//Name of generator.
CMAKE_GENERATOR:INTERNAL=Unix Makefiles
//Generator instance identifier.
CMAKE_GENERATOR_INSTANCE:INTERNAL=
//Name of generator platform.
CMAKE_GENERATOR_PLATFORM:INTERNAL=
//Name of generator toolset.
CMAKE_GENERATOR_TOOLSET:INTERNAL=
//Test CMAKE_HAVE_LIBC_PTHREAD
CMAKE_HAVE_LIBC_PTHREAD:INTERNAL=
//Have include pthread.h
CMAKE_HAVE_PTHREAD_H:INTERNAL=1
//Source directory with the top level CMakeLists.txt file for this
// project
CMAKE_HOME_DIRECTORY:INTERNAL=/home/mdasoh/src/hdl_tools/bitwuzla
//Install .so files without execute permission.
CMAKE_INSTALL_SO_NO_EXE:INTERNAL=1
//ADVANCED property for variable: CMAKE_LINKER
CMAKE_LINKER-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_MAKE_PROGRAM
CMAKE_MAKE_PROGRAM-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_DEBUG
CMAKE_MODULE_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL
CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_RELEASE
CMAKE_MODULE_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO
CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_NM
CMAKE_NM-ADVANCED:INTERNAL=1
//number of local generators
CMAKE_NUMBER_OF_MAKEFILES:INTERNAL=2
//ADVANCED property for variable: CMAKE_OBJCOPY
CMAKE_OBJCOPY-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_OBJDUMP
CMAKE_OBJDUMP-ADVANCED:INTERNAL=1
//Platform information initialized
CMAKE_PLATFORM_INFO_INITIALIZED:INTERNAL=1
//ADVANCED property for variable: CMAKE_RANLIB
CMAKE_RANLIB-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_READELF
CMAKE_READELF-ADVANCED:INTERNAL=1
//Path to CMake installation.
CMAKE_ROOT:INTERNAL=/usr/share/cmake-3.18
//ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS
CMAKE_SHARED_LINKER_FLAGS-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_DEBUG
CMAKE_SHARED_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL
CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_RELEASE
CMAKE_SHARED_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO
CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_SKIP_INSTALL_RPATH
CMAKE_SKIP_INSTALL_RPATH-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_SKIP_RPATH
CMAKE_SKIP_RPATH-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS
CMAKE_STATIC_LINKER_FLAGS-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_DEBUG
CMAKE_STATIC_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL
CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_RELEASE
CMAKE_STATIC_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO
CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_STRIP
CMAKE_STRIP-ADVANCED:INTERNAL=1
//uname command
CMAKE_UNAME:INTERNAL=/usr/bin/uname
//ADVANCED property for variable: CMAKE_VERBOSE_MAKEFILE
CMAKE_VERBOSE_MAKEFILE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CaDiCaL_INCLUDE_DIR
CaDiCaL_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CaDiCaL_LIBRARIES
CaDiCaL_LIBRARIES-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CryptoMiniSat_INCLUDE_DIR
CryptoMiniSat_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CryptoMiniSat_LIBRARIES
CryptoMiniSat_LIBRARIES-ADVANCED:INTERNAL=1
//STRINGS property for variable: DOCS
DOCS-STRINGS:INTERNAL=IGNORE;ON;OFF
//Details about finding Btor2Tools
FIND_PACKAGE_MESSAGE_DETAILS_Btor2Tools:INTERNAL=[/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/include][/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/lib/libbtor2parser.a][v()]
//Details about finding CaDiCaL
FIND_PACKAGE_MESSAGE_DETAILS_CaDiCaL:INTERNAL=[/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/include][/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/lib/libcadical.a][v()]
//Details about finding GMP
FIND_PACKAGE_MESSAGE_DETAILS_GMP:INTERNAL=[/usr/include/x86_64-linux-gnu][/usr/lib/x86_64-linux-gnu/libgmp.a][v()]
//Details about finding Git
FIND_PACKAGE_MESSAGE_DETAILS_Git:INTERNAL=[/usr/bin/git][v2.20.1()]
//Details about finding SymFPU
FIND_PACKAGE_MESSAGE_DETAILS_SymFPU:INTERNAL=[/home/mdasoh/src/hdl_tools/bitwuzla/deps/install/include][v()]
//Details about finding Threads
FIND_PACKAGE_MESSAGE_DETAILS_Threads:INTERNAL=[TRUE][v()]
//STRINGS property for variable: GCOV
GCOV-STRINGS:INTERNAL=IGNORE;ON;OFF
//ADVANCED property for variable: GIT_EXECUTABLE
GIT_EXECUTABLE-ADVANCED:INTERNAL=1
//ADVANCED property for variable: GMP_INCLUDE_DIR
GMP_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: GMP_LIBRARIES
GMP_LIBRARIES-ADVANCED:INTERNAL=1
//STRINGS property for variable: GPROF
GPROF-STRINGS:INTERNAL=IGNORE;ON;OFF
//ADVANCED property for variable: Gimsatul_INCLUDE_DIR
Gimsatul_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: Gimsatul_LIBRARIES
Gimsatul_LIBRARIES-ADVANCED:INTERNAL=1
//Test HAVE_FLAG_O3
HAVE_FLAG_O3:INTERNAL=1
//Test HAVE_FLAG_W
HAVE_FLAG_W:INTERNAL=1
//Test HAVE_FLAG_Wall
HAVE_FLAG_Wall:INTERNAL=1
//Test HAVE_FLAG_Wextra
HAVE_FLAG_Wextra:INTERNAL=1
//Test HAVE_FLAG_Wredundant_decls
HAVE_FLAG_Wredundant_decls:INTERNAL=1
//Test HAVE_FLAG_std_gnu99
HAVE_FLAG_std_gnu99:INTERNAL=1
//Test HAVE_NO_EXPORT_DYNAMIC
HAVE_NO_EXPORT_DYNAMIC:INTERNAL=1
//Test HAVE_SIGNALS
HAVE_SIGNALS:INTERNAL=1
//Test HAVE_TIME_UTILS
HAVE_TIME_UTILS:INTERNAL=1
//ADVANCED property for variable: Kissat_INCLUDE_DIR
Kissat_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: Kissat_LIBRARIES
Kissat_LIBRARIES-ADVANCED:INTERNAL=1
//STRINGS property for variable: LOG
LOG-STRINGS:INTERNAL=IGNORE;ON;OFF
//ADVANCED property for variable: Lingeling_INCLUDE_DIR
Lingeling_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: Lingeling_LIBRARIES
Lingeling_LIBRARIES-ADVANCED:INTERNAL=1
//ADVANCED property for variable: MiniSat_INCLUDE_DIR
MiniSat_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: MiniSat_LIBRARIES
MiniSat_LIBRARIES-ADVANCED:INTERNAL=1
//STRINGS property for variable: PYTHON
PYTHON-STRINGS:INTERNAL=IGNORE;ON;OFF
//ADVANCED property for variable: PicoSAT_INCLUDE_DIR
PicoSAT_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: PicoSAT_LIBRARIES
PicoSAT_LIBRARIES-ADVANCED:INTERNAL=1
//ADVANCED property for variable: SymFPU_INCLUDE_DIR
SymFPU_INCLUDE_DIR-ADVANCED:INTERNAL=1
//STRINGS property for variable: TESTING
TESTING-STRINGS:INTERNAL=IGNORE;ON;OFF
//Result of TRY_COMPILE
THREADS_HAVE_PTHREAD_ARG:INTERNAL=TRUE
//STRINGS property for variable: TIME_STATS
TIME_STATS-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: UBSAN
UBSAN-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_CADICAL
USE_CADICAL-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_CMS
USE_CMS-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_GIMSATUL
USE_GIMSATUL-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_KISSAT
USE_KISSAT-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_LINGELING
USE_LINGELING-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_MINISAT
USE_MINISAT-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_PICOSAT
USE_PICOSAT-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_SYMFPU
USE_SYMFPU-STRINGS:INTERNAL=IGNORE;ON;OFF