change solve to simp, and fix format

12 files changed, 939 insertions, 0 deletions

diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/AddGTestSuite.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/AddGTestSuite.cmake
new file mode 100644
index 000000000..0dbe1ec02
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/AddGTestSuite.cmake
@@ -0,0 +1,26 @@
+# Sets for the current directory (and below) the testsuite to use.
+# This macro should be used with the AddSTPGTest function.
+macro(AddGTestSuite TESTSUITENAME)
+    set(TESTSUITE "${TESTSUITENAME}") # Unit test group name
+    # Setup custom target
+    add_custom_target(${TESTSUITE})
+    add_dependencies(check ${TESTSUITE})
+
+    if(USE_VALGRIND)
+        set(LIT_EXTRA_FLAGS --vg --vg-leak)
+    else()
+        set(LIT_EXTRA_FLAGS "")
+    endif()
+
+    add_custom_command(TARGET ${TESTSUITE}
+                       POST_BUILD
+                       COMMAND ${LIT_TOOL} ${LIT_ARGS} ${LIT_EXTRA_FLAGS} ${CMAKE_CURRENT_BINARY_DIR}
+                       COMMENT "Running ${TESTSUITE}"
+                      )
+
+    # Setup lit configuration
+    configure_file(${CMAKE_SOURCE_DIR}/tests/lit-unit-tests-common.site.cfg.in
+                   ${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg
+                   @ONLY@
+                  )
+endmacro()
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/AddSTPGTest.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/AddSTPGTest.cmake
new file mode 100644
index 000000000..25dc7401e
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/AddSTPGTest.cmake
@@ -0,0 +1,33 @@
+# AddSTPGTest(<sourcefile> [<defines> ...])
+#
+# Adds a GoogleTest to the current test suite (${TESTSUITE})
+# with executable name <sourcefile> with the file extension removed and
+# the UNIT_TEST_EXE_SUFFIX appended.
+# The executable will be linked with libstp.
+# Remaining arguments to this function are interpreted as preprocessor macros
+# to defines.
+#
+# e.g.
+# AddSTPGTest(mysimpleprogram.cpp FOO=15 BAR=\"a string\")
+#
+function(AddSTPGTest sourcefile)
+    get_filename_component(testname ${sourcefile} NAME_WE)
+
+    # testname has suffix because lit expects this
+    set(testname "${testname}${UNIT_TEST_EXE_SUFFIX}")
+
+    add_executable(${testname} EXCLUDE_FROM_ALL ${sourcefile})
+
+    # Add define flags requested by users
+    list(LENGTH ARGN LEN_ARGN)
+    if(LEN_ARGN GREATER 0)
+        set_property(TARGET ${testname} APPEND PROPERTY COMPILE_DEFINITIONS ${ARGN})
+        #message(STATUS "Added flags to test ${testname} ${ARGN}")
+    endif()
+
+    target_link_libraries(${testname} libstp ${GTEST_BOTH_LIBRARIES})
+
+    # Add dependency so that building the testsuite
+    # will cause this test (testname) to be built
+    add_dependencies(${TESTSUITE} ${testname})
+endfunction()
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/FindM4RI.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/FindM4RI.cmake
new file mode 100644
index 000000000..e9f1c909c
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/FindM4RI.cmake
@@ -0,0 +1,67 @@
+# - Try to find libm4ri
+find_package(PkgConfig)
+pkg_check_modules(PC_M4RI QUIET libm4ri)
+set(M4RI_DEFINITIONS ${PC_M4RI_CFLAGS_OTHER})
+
+MACRO(DBG_MSG _MSG)
+    #    MESSAGE(STATUS "${CMAKE_CURRENT_LIST_FILE}(${CMAKE_CURRENT_LIST_LINE}):\n${_MSG}")
+ENDMACRO(DBG_MSG)
+
+SET (M4RI_POSSIBLE_ROOT_DIRS
+  "${M4RI_ROOT_DIR}"
+  "$ENV{M4RI_ROOT_DIR}"
+  "$ENV{M4RI_DIR}"
+  "$ENV{M4RI_HOME}"
+  /usr/local
+  /usr
+  )
+
+FIND_PATH(M4RI_ROOT_DIR
+  NAMES
+  include/m4ri/m4ri.h
+  PATHS ${M4RI_POSSIBLE_ROOT_DIRS}
+)
+DBG_MSG("M4RI_ROOT_DIR=${M4RI_ROOT_DIR}")
+
+SET(M4RI_INCDIR_SUFFIXES
+  include
+  m4ri/include
+  m4ri
+)
+DBG_MSG("M4RI_INCDIR_SUFFIXES=${M4RI_INCDIR_SUFFIXES}")
+
+FIND_PATH(M4RI_INCLUDE_DIRS
+  NAMES m4ri/m4ri.h
+  PATHS ${M4RI_ROOT_DIR}
+  PATH_SUFFIXES ${M4RI_INCDIR_SUFFIXES}
+  NO_CMAKE_SYSTEM_PATH
+)
+DBG_MSG("M4RI_INCLUDE_DIRS=${M4RI_INCLUDE_DIRS}")
+
+SET(M4RI_LIBDIR_SUFFIXES
+  .libs
+  lib
+  lib/m4ri
+  m4ri/lib
+)
+DBG_MSG("M4RI_LIBDIR_SUFFIXES=${M4RI_LIBDIR_SUFFIXES}")
+
+
+find_library(M4RI_LIBRARIES
+    NAMES m4ri libm4ri
+    PATHS ${M4RI_ROOT_DIR}
+    PATH_SUFFIXES ${M4RI_LIBDIR_SUFFIXES}
+)
+DBG_MSG("M4RI_LIBRARIES=${M4RI_LIBRARIES}")
+
+include(FindPackageHandleStandardArgs)
+# handle the QUIETLY and REQUIRED arguments and set M4RI_FOUND to TRUE
+# if all listed variables are TRUE
+find_package_handle_standard_args(m4ri  DEFAULT_MSG
+                                  M4RI_LIBRARIES M4RI_INCLUDE_DIRS)
+IF (M4RI_INCLUDE_DIRS AND M4RI_LIBRARIES)
+    SET(M4RI_FOUND TRUE)
+endif (M4RI_INCLUDE_DIRS AND M4RI_LIBRARIES)
+
+
+mark_as_advanced(M4RI_INCLUDE_DIRS M4RI_LIBRARIES )
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/FindMpiCompilers.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/FindMpiCompilers.cmake
new file mode 100644
index 000000000..03722d492
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/FindMpiCompilers.cmake
@@ -0,0 +1,144 @@
+# - Find the MPI compiler wrappers
+# This module locates the MPI compiler wrappers (mpicc, mpicxx/mpic++, mpif77 and mpif90).
+# It is useful if one wants to force a project to use the MPI compiler wrappers as default
+# compilers.
+#
+# The module has the following COMPONENTS:
+#  C    searches for mpicc
+#  CXX  searches for mpicxx and mpic++
+#  F77  searches for mpif77
+#  F90  searches for mpif90
+# If no components are specified, all of them are enabled by default.
+#
+# The module sets the following cache variables (if the corresponding module is enabled):
+#  MPICOMPILERS_C    the mpicc compiler
+#  MPICOMPILERS_CXX  the mpicxx/mpic++ compiler
+#  MPICOMPILERS_F77  the mpif77 compiler
+#  MPICOMPILERS_F90  the mpif90 compiler
+#
+# If the user wishes to specify a specific compiler wrapper (e.g. one which is
+# using a non-standard name or one which is not found on the path) can do so
+# by setting the corresponding MPICOMPILERS_XXX variable (e.g. using the
+# -D flag the first time CMake is run). It also honours environment variables
+# by the same name. The CC, CXX and similar variables are not considered by
+# design.
+#
+# If the module is not REQUIRED make sure to check the MPICOMPILERS_XXX
+# variables.
+#
+# Beware that although the module can search for both the mpif77 andmpif90
+# compiler wrappers, CMake only knows the CMAKE_Fortran_COMPILER variable
+# which means that you can't use both of the wrappers in the same project. This,
+# however, probably is not a big issue as Fortran90 is a superset of
+# Fortran77 and all Fortran90 compilers I know of also process Fortran77
+# sources.
+#
+# An example CMakeLists.txt could look like this:
+#
+#  # prevent CMake from compiler detection using NONE as the project language
+#  project( some_project NONE )
+#
+#  cmake_minimum_required( VERSION 2.6 )
+#
+#  # find the mpi compiler wrappers
+#  find_package( MpiCompilers REQUIRED CXX F77 )
+#
+#  # set the CMAKE_XXX_COMPILER variables
+#  set( CMAKE_CXX_COMPILER ${MPICOMPILERS_CXX} )
+#  set( CMAKE_Fortran_COMPILER ${MPICOMPILERS_F77} )
+#  # enable the corresponding languages to do the compiler detection
+#  enable_language( CXX )
+#  enable_language( Fortran )
+#
+#  # now go on as usual
+#  add_executable( fancy_mpi_program source1.cxx source2.f )
+
+# Copyright 2009 Michael Wild <themiwi at users.sourceforge.net>
+
+# check the components that are requested
+if( MpiCompilers_FIND_COMPONENTS )
+   set( __MpiCompilers_C FALSE )
+   set( __MpiCompilers_CXX FALSE )
+   set( __MpiCompilers_F77 FALSE )
+   set( __MpiCompilers_F90 FALSE )
+   foreach( __MpiCompilers_comp ${MpiCompilers_FIND_COMPONENTS} )
+     if( __MpiCompilers_comp STREQUAL C )
+       set( __MpiCompilers_C TRUE )
+     elseif( __MpiCompilers_comp STREQUAL CXX )
+       set( __MpiCompilers_CXX TRUE )
+     elseif(__MpiCompilers_comp STREQUAL F77 )
+       set( __MpiCompilers_F77 TRUE )
+     elseif( __MpiCompilers_comp STREQUAL F90 )
+       set( __MpiCompilers_F90 TRUE )
+     else( __MpiCompilers_comp STREQUAL C )
+       message( FATAL_ERROR "Unknown component ${__MpiCompilers_comp}" )
+     endif( __MpiCompilers_comp STREQUAL C )
+   endforeach( __MpiCompilers_comp )
+else( MpiCompilers_FIND_COMPONENTS )
+   # by default turn all components on
+   set( __MpiCompilers_C TRUE )
+   set( __MpiCompilers_CXX TRUE )
+   set( __MpiCompilers_F77 TRUE )
+   set( __MpiCompilers_F90 TRUE )
+endif( MpiCompilers_FIND_COMPONENTS )
+
+# find the requested compilers and set up the list
+# of required variables
+set( __MpiCompilers_REQVARS "" )
+set( __MpiCompilers_FOUNDCOMPILERS "" )
+if( __MpiCompilers_C )
+   if( NOT "$ENV{MPICOMPILERS_C}" STREQUAL "" )
+     set( MPICOMPILERS_C $ENV{MPICOMPILERS_C} CACHE FILEPATH "Path to  
+the MPI C compiler" )
+   else( NOT "$ENV{MPICOMPILERS_C}" STREQUAL "" )
+     find_program( MPICOMPILERS_C mpicc DOC "Path to the MPI C  
+compiler" )
+   endif( NOT "$ENV{MPICOMPILERS_C}" STREQUAL "" )
+   list( APPEND __MpiCompilers_REQVARS MPICOMPILERS_C )
+   set( __MpiCompilers_FOUNDCOMPILERS "$ 
+{__MpiCompilers_FOUNDCOMPILERS} ${MPICOMPILERS_C}" )
+endif( __MpiCompilers_C )
+if( __MpiCompilers_CXX )
+   if( NOT "$ENV{MPICOMPILERS_CXX}" STREQUAL "" )
+     set( MPICOMPILERS_CXX $ENV{MPICOMPILERS_CXX} CACHE FILEPATH "Path  
+to the MPI C++ compiler" )
+   else( NOT "$ENV{MPICOMPILERS_CXX}" STREQUAL "" )
+     find_program( MPICOMPILERS_CXX NAMES mpicxx mpic++ DOC "Path to  
+the MPI C++ compiler" )
+   endif( NOT "$ENV{MPICOMPILERS_CXX}" STREQUAL "" )
+   list( APPEND __MpiCompilers_REQVARS MPICOMPILERS_CXX )
+   set( __MpiCompilers_FOUNDCOMPILERS "$ 
+{__MpiCompilers_FOUNDCOMPILERS} ${MPICOMPILERS_CXX}" )
+endif( __MpiCompilers_CXX )
+if( __MpiCompilers_F77 )
+   if( NOT "$ENV{MPICOMPILERS_F77}" STREQUAL "" )
+     set( MPICOMPILERS_F77 $ENV{MPICOMPILERS_F77} CACHE FILEPATH "Path  
+to the MPI F77 compiler" )
+   else( NOT "$ENV{MPICOMPILERS_F77}" STREQUAL "" )
+     find_program( MPICOMPILERS_F77 mpif77 DOC "Path to the MPI F77  
+compiler" )
+   endif( NOT "$ENV{MPICOMPILERS_F77}" STREQUAL "" )
+   list( APPEND __MpiCompilers_REQVARS MPICOMPILERS_F77 )
+   set( __MpiCompilers_FOUNDCOMPILERS "$ 
+{__MpiCompilers_FOUNDCOMPILERS} ${MPICOMPILERS_F77}" )
+endif( __MpiCompilers_F77 )
+if( __MpiCompilers_F90 )
+   if( NOT "$ENV{MPICOMPILERS_F90}" STREQUAL "" )
+     set( MPICOMPILERS_F90 $ENV{MPICOMPILERS_F90} CACHE FILEPATH "Path  
+to the MPI F90 compiler" )
+   else( NOT "$ENV{MPICOMPILERS_F90}" STREQUAL "" )
+     find_program( MPICOMPILERS_F90 mpif90 DOC "Path to the MPI F77  
+compiler" )
+   endif( NOT "$ENV{MPICOMPILERS_F90}" STREQUAL "" )
+   list( APPEND __MpiCompilers_REQVARS MPICOMPILERS_F90 )
+   set( __MpiCompilers_FOUNDCOMPILERS "$ 
+{__MpiCompilers_FOUNDCOMPILERS} ${MPICOMPILERS_F90}" )
+endif( __MpiCompilers_F90 )
+
+mark_as_advanced( ${__MpiCompilers_REQVARS} )
+
+# handle standard arguments
+include( FindPackageHandleStandardArgs )
+find_package_handle_standard_args( MpiCompilers DEFAULT_MSG  
+__MpiCompilers_FOUNDCOMPILERS ${__MpiCompilers_REQVARS} )
+
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/FindPerftools.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/FindPerftools.cmake
new file mode 100644
index 000000000..f40ace7cd
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/FindPerftools.cmake
@@ -0,0 +1,139 @@
+# - Try to find Google perftools include dirs and libraries 
+#
+# Usage of this module as follows:
+#
+#     find_package(Perftools)
+#
+# Variables used by this module, they can change the default behaviour and need
+# to be set before calling find_package:
+#
+#  PERFTOOLS_ROOT            Preferred installation prefix for searching for
+#                            Perftools, set this if the module has problems
+#                            finding the proper installation path.
+#  PERFTOOLS_INCLUDEDIR      Set this to the include directory of the Google
+#                            perftools, if the module has problems finding the
+#                            installation path.
+#  PERFTOOLS_LIBRARYDIR      Set this to the library directory of the Google
+#                            perftools if the module has problems finding the
+#                            proper installation path.
+#
+# Variables defined by this module:
+#
+#  Perftools_FOUND           System has Google perftools, this means the
+#                            include dir and all the libraries were found.  
+#  Perftools_INCLUDE_DIRS    Google perftools include directories. 
+#  Perftools_LIBRARIES       Link these to use the Google perftools libraries.
+#
+#  Perftools_TCMALLOC_LIBRARY        Path to the tcmalloc library.
+#  Perftools_STACKTRACE_LIBRARY      Path to the stacktrace library.
+#  Perftools_PROFILER_LIBRARY        Path to the profiler library.
+
+if (PERFTOOLS_ROOT)
+    set(Perftools_ADDITIONAL_INCLUDE_SEARCH_DIRS ${PERFTOOLS_ROOT}/include)
+    set(Perftools_ADDITIONAL_LIBRARY_SEARCH_DIRS ${PERFTOOLS_ROOT}/lib)
+endif ()
+
+if (PERFTOOLS_INCLUDEDIR)
+    set(Perftools_ADDITIONAL_INCLUDE_SEARCH_DIRS ${PERFTOOLS_ROOT}/include)
+endif ()
+
+if (PERFTOOLS_LIBRARYDIR)
+    set(Perftools_ADDITIONAL_LIBRARY_SEARCH_DIRS ${PERFTOOLS_ROOT}/lib)
+endif ()
+
+
+if (Perftools_LIBRARIES AND Perftools_INCLUDE_DIRS)
+    # In cache already.
+    set(Perftools_FOUND true)
+else ()
+    find_path(Perftools_INCLUDE_DIRS
+        NAMES
+            google/heap-profiler.h
+        PATHS
+            ${Perftools_ADDITIONAL_INCLUDE_SEARCH_DIRS}
+            /usr/local/include
+            /opt/local/include
+            /sw/include
+            /usr/include
+        )
+
+    # tcmalloc
+    set(tcmalloc_names ${tcmalloc_names} tcmalloc)
+    find_library(perftools_tcmalloc_library
+        NAMES 
+            ${tcmalloc_names}
+        PATHS 
+            ${Perftools_ADDITIONAL_LIBRARY_SEARCH_DIRS}
+            /usr/local/lib
+            /opt/local/lib
+            /sw/lib
+            /usr/lib
+      )
+
+    if (perftools_tcmalloc_library AND Perftools_INCLUDE_DIRS)
+        set(Perftools_TCMALLOC_LIBRARY ${perftools_tcmalloc_library})
+        set(Perftools_LIBRARIES 
+            ${Perftools_LIBRARIES} ${perftools_tcmalloc_library})
+        set(Perftools_FOUND true)
+    else ()
+        set(Perftools_FOUND false)
+    endif ()
+
+
+    # stacktrace
+    set(stacktrace_names ${stacktrace_names} stacktrace)
+    find_library(perftools_stacktrace_library
+        NAMES 
+            ${stacktrace_names}
+        PATHS 
+            ${Perftools_ADDITIONAL_LIBRARY_SEARCH_DIRS}
+            /usr/local/lib
+            /opt/local/lib
+            /sw/lib
+            /usr/lib
+      )
+
+    if (perftools_stacktrace_library AND Perftools_INCLUDE_DIRS)
+        set(Perftools_STACKTRACE_LIBRARY ${perftools_stacktrace_library})
+        set(Perftools_LIBRARIES 
+            ${Perftools_LIBRARIES} ${perftools_stacktrace_library})
+    endif ()
+
+
+    # profiler
+    set(profiler_names ${profiler_names} profiler)
+    find_library(perftools_profiler_library
+        NAMES 
+            ${profiler_names}
+        PATHS 
+            ${Perftools_ADDITIONAL_LIBRARY_SEARCH_DIRS}
+            /usr/local/lib
+            /opt/local/lib
+            /sw/lib
+            /usr/lib
+      )
+
+    if (perftools_profiler_library AND Perftools_INCLUDE_DIRS)
+        set(Perftools_PROFILER_LIBRARY ${perftools_profiler_library})
+        set(Perftools_LIBRARIES 
+            ${Perftools_LIBRARIES} ${perftools_profiler_library})
+    endif ()
+
+    if (Perftools_FOUND)
+        if (NOT Perftools_FIND_QUIETLY)
+            message(STATUS "Found Google perftools")
+        endif ()
+    else ()
+        if (Perftools_FIND_REQUIRED)
+            message(FATAL_ERROR "Could not find Google perftools")
+        endif ()
+    endif ()
+
+    mark_as_advanced(
+      Perftools_INCLUDE_DIRS
+      Perftools_LIBRARIES
+      Perftools_TCMALLOC_LIBRARY
+      Perftools_STACKTRACE_LIBRARY
+      Perftools_PROFILER_LIBRARY
+    )
+endif()
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/FindPkgMacros.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/FindPkgMacros.cmake
new file mode 100644
index 000000000..59686232a
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/FindPkgMacros.cmake
@@ -0,0 +1,163 @@
+#-------------------------------------------------------------------
+# This file is part of the CMake build system for OGRE
+#     (Object-oriented Graphics Rendering Engine)
+# For the latest info, see http://www.ogre3d.org/
+#
+# The contents of this file are placed in the public domain. Feel
+# free to make use of it in any way you like.
+#-------------------------------------------------------------------
+
+##################################################################
+# Provides some common functionality for the FindPackage modules
+##################################################################
+
+# Begin processing of package
+macro(findpkg_begin PREFIX)
+  if (NOT ${PREFIX}_FIND_QUIETLY)
+    message(STATUS "Looking for ${PREFIX}...")
+  endif ()
+endmacro(findpkg_begin)
+
+# Display a status message unless FIND_QUIETLY is set
+macro(pkg_message PREFIX)
+  if (NOT ${PREFIX}_FIND_QUIETLY)
+    message(STATUS ${ARGN})
+  endif ()
+endmacro(pkg_message)
+
+# Get environment variable, define it as ENV_$var and make sure backslashes are converted to forward slashes
+macro(getenv_path VAR)
+   set(ENV_${VAR} $ENV{${VAR}})
+   # replace won't work if var is blank
+   if (ENV_${VAR})
+     string( REGEX REPLACE "\\\\" "/" ENV_${VAR} ${ENV_${VAR}} )
+   endif ()
+endmacro(getenv_path)
+
+# Construct search paths for includes and libraries from a PREFIX_PATH
+macro(create_search_paths PREFIX)
+  foreach(dir ${${PREFIX}_PREFIX_PATH})
+    set(${PREFIX}_INC_SEARCH_PATH ${${PREFIX}_INC_SEARCH_PATH}
+      ${dir}/include ${dir}/Include ${dir}/include/${PREFIX} ${dir}/Headers)
+    set(${PREFIX}_LIB_SEARCH_PATH ${${PREFIX}_LIB_SEARCH_PATH}
+      ${dir}/lib ${dir}/Lib ${dir}/lib/${PREFIX} ${dir}/Libs)
+    set(${PREFIX}_BIN_SEARCH_PATH ${${PREFIX}_BIN_SEARCH_PATH}
+      ${dir}/bin)
+  endforeach(dir)
+  if(ANDROID)
+	set(${PREFIX}_LIB_SEARCH_PATH ${${PREFIX}_LIB_SEARCH_PATH} ${OGRE_DEPENDENCIES_DIR}/lib/${ANDROID_ABI})
+  endif()
+  set(${PREFIX}_FRAMEWORK_SEARCH_PATH ${${PREFIX}_PREFIX_PATH})
+endmacro(create_search_paths)
+
+# clear cache variables if a certain variable changed
+macro(clear_if_changed TESTVAR)
+  # test against internal check variable
+  # HACK: Apparently, adding a variable to the cache cleans up the list
+  # a bit. We need to also remove any empty strings from the list, but
+  # at the same time ensure that we are actually dealing with a list.
+  list(APPEND ${TESTVAR} "")
+  list(REMOVE_ITEM ${TESTVAR} "")
+  if (NOT "${${TESTVAR}}" STREQUAL "${${TESTVAR}_INT_CHECK}")
+    message(STATUS "${TESTVAR} changed.")
+    foreach(var ${ARGN})
+      set(${var} "NOTFOUND" CACHE STRING "x" FORCE)
+    endforeach(var)
+  endif ()
+  set(${TESTVAR}_INT_CHECK ${${TESTVAR}} CACHE INTERNAL "x" FORCE)
+endmacro(clear_if_changed)
+
+# Try to get some hints from pkg-config, if available
+macro(use_pkgconfig PREFIX PKGNAME)
+  find_package(PkgConfig)
+  if (PKG_CONFIG_FOUND)
+    pkg_check_modules(${PREFIX} ${PKGNAME})
+  endif ()
+endmacro (use_pkgconfig)
+
+# Couple a set of release AND debug libraries (or frameworks)
+macro(make_library_set PREFIX)
+  if (${PREFIX}_FWK)
+    set(${PREFIX} ${${PREFIX}_FWK})
+  elseif (${PREFIX}_REL AND ${PREFIX}_DBG)
+    set(${PREFIX} optimized ${${PREFIX}_REL} debug ${${PREFIX}_DBG})
+  elseif (${PREFIX}_REL)
+    set(${PREFIX} ${${PREFIX}_REL})
+  elseif (${PREFIX}_DBG)
+    set(${PREFIX} ${${PREFIX}_DBG})
+  endif ()
+endmacro(make_library_set)
+
+# Generate debug names from given release names
+macro(get_debug_names PREFIX)
+  foreach(i ${${PREFIX}})
+    set(${PREFIX}_DBG ${${PREFIX}_DBG} ${i}d ${i}D ${i}_d ${i}_D ${i}_debug ${i})
+  endforeach(i)
+endmacro(get_debug_names)
+
+# Add the parent dir from DIR to VAR 
+macro(add_parent_dir VAR DIR)
+  get_filename_component(${DIR}_TEMP "${${DIR}}/.." ABSOLUTE)
+  set(${VAR} ${${VAR}} ${${DIR}_TEMP})
+endmacro(add_parent_dir)
+
+# Do the final processing for the package find.
+macro(findpkg_finish PREFIX)
+  # skip if already processed during this run
+  if (NOT ${PREFIX}_FOUND)
+    if (${PREFIX}_INCLUDE_DIR AND ${PREFIX}_LIBRARY)
+      set(${PREFIX}_FOUND TRUE)
+      set(${PREFIX}_INCLUDE_DIRS ${${PREFIX}_INCLUDE_DIR})
+      set(${PREFIX}_LIBRARIES ${${PREFIX}_LIBRARY})
+      if (NOT ${PREFIX}_FIND_QUIETLY)
+        message(STATUS "Found ${PREFIX}: ${${PREFIX}_LIBRARIES}")
+      endif ()
+    else ()
+      if (NOT ${PREFIX}_FIND_QUIETLY)
+        message(STATUS "Could not locate ${PREFIX}")
+      endif ()
+      if (${PREFIX}_FIND_REQUIRED)
+        message(FATAL_ERROR "Required library ${PREFIX} not found! Install the library (including dev packages) and try again. If the library is already installed, set the missing variables manually in cmake.")
+      endif ()
+    endif ()
+
+    mark_as_advanced(${PREFIX}_INCLUDE_DIR ${PREFIX}_LIBRARY ${PREFIX}_LIBRARY_REL ${PREFIX}_LIBRARY_DBG ${PREFIX}_LIBRARY_FWK)
+  endif ()
+endmacro(findpkg_finish)
+
+
+# Slightly customised framework finder
+macro(findpkg_framework fwk)
+  if(APPLE)
+    set(${fwk}_FRAMEWORK_PATH
+      ${${fwk}_FRAMEWORK_SEARCH_PATH}
+      ${CMAKE_FRAMEWORK_PATH}
+      ~/Library/Frameworks
+      /Library/Frameworks
+      /System/Library/Frameworks
+      /Network/Library/Frameworks
+      ${CMAKE_CURRENT_SOURCE_DIR}/lib/macosx/Release
+      ${CMAKE_CURRENT_SOURCE_DIR}/lib/macosx/Debug
+    )
+    # These could be arrays of paths, add each individually to the search paths
+    foreach(i ${OGRE_PREFIX_PATH})
+      set(${fwk}_FRAMEWORK_PATH ${${fwk}_FRAMEWORK_PATH} ${i}/lib/macosx/Release ${i}/lib/macosx/Debug)
+    endforeach(i)
+
+    foreach(i ${OGRE_PREFIX_BUILD})
+      set(${fwk}_FRAMEWORK_PATH ${${fwk}_FRAMEWORK_PATH} ${i}/lib/macosx/Release ${i}/lib/macosx/Debug)
+    endforeach(i)
+
+    foreach(dir ${${fwk}_FRAMEWORK_PATH})
+      set(fwkpath ${dir}/${fwk}.framework)
+      if(EXISTS ${fwkpath})
+        set(${fwk}_FRAMEWORK_INCLUDES ${${fwk}_FRAMEWORK_INCLUDES}
+          ${fwkpath}/Headers ${fwkpath}/PrivateHeaders)
+        set(${fwk}_FRAMEWORK_PATH ${dir})
+        if (NOT ${fwk}_LIBRARY_FWK)
+          set(${fwk}_LIBRARY_FWK "-framework ${fwk}")
+        endif ()
+      endif(EXISTS ${fwkpath})
+    endforeach(dir)
+  endif(APPLE)
+endmacro(findpkg_framework)
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/FindSqlite3.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/FindSqlite3.cmake
new file mode 100644
index 000000000..0eccec225
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/FindSqlite3.cmake
@@ -0,0 +1,56 @@
+# - find Sqlite 3
+# SQLITE3_INCLUDE_DIR - Where to find Sqlite 3 header files (directory)
+# SQLITE3_LIBRARIES - Sqlite 3 libraries
+# SQLITE3_LIBRARY_RELEASE - Where the release library is
+# SQLITE3_LIBRARY_DEBUG - Where the debug library is
+# SQLITE3_FOUND - Set to TRUE if we found everything (library, includes and executable)
+
+# Copyright (c) 2010 Pau Garcia i Quiles, <pgquiles@elpauer.org>
+#
+# Redistribution and use is allowed according to the terms of the BSD license.
+# For details see the accompanying COPYING-CMAKE-SCRIPTS file.
+#
+# Generated by CModuler, a CMake Module Generator - http://gitorious.org/cmoduler
+
+IF( SQLITE3_INCLUDE_DIR AND SQLITE3_LIBRARY_RELEASE AND SQLITE3_LIBRARY_DEBUG )
+    SET(SQLITE3_FIND_QUIETLY TRUE)
+ENDIF( SQLITE3_INCLUDE_DIR AND SQLITE3_LIBRARY_RELEASE AND SQLITE3_LIBRARY_DEBUG )
+
+FIND_PATH( SQLITE3_INCLUDE_DIR sqlite3.h  )
+
+FIND_LIBRARY(SQLITE3_LIBRARY_RELEASE NAMES sqlite3 )
+
+FIND_LIBRARY(SQLITE3_LIBRARY_DEBUG NAMES sqlite3 sqlite3d  HINTS /usr/lib/debug/usr/lib/ )
+
+IF( SQLITE3_LIBRARY_RELEASE OR SQLITE3_LIBRARY_DEBUG AND SQLITE3_INCLUDE_DIR )
+	SET( SQLITE3_FOUND TRUE )
+ENDIF( SQLITE3_LIBRARY_RELEASE OR SQLITE3_LIBRARY_DEBUG AND SQLITE3_INCLUDE_DIR )
+
+IF( SQLITE3_LIBRARY_DEBUG AND SQLITE3_LIBRARY_RELEASE )
+	# if the generator supports configuration types then set
+	# optimized and debug libraries, or if the CMAKE_BUILD_TYPE has a value
+	IF( CMAKE_CONFIGURATION_TYPES OR CMAKE_BUILD_TYPE )
+		SET( SQLITE3_LIBRARIES optimized ${SQLITE3_LIBRARY_RELEASE} debug ${SQLITE3_LIBRARY_DEBUG} )
+	ELSE( CMAKE_CONFIGURATION_TYPES OR CMAKE_BUILD_TYPE )
+    # if there are no configuration types and CMAKE_BUILD_TYPE has no value
+    # then just use the release libraries
+		SET( SQLITE3_LIBRARIES ${SQLITE3_LIBRARY_RELEASE} )
+	ENDIF( CMAKE_CONFIGURATION_TYPES OR CMAKE_BUILD_TYPE )
+ELSEIF( SQLITE3_LIBRARY_RELEASE )
+	SET( SQLITE3_LIBRARIES ${SQLITE3_LIBRARY_RELEASE} )
+ELSE( SQLITE3_LIBRARY_DEBUG AND SQLITE3_LIBRARY_RELEASE )
+	SET( SQLITE3_LIBRARIES ${SQLITE3_LIBRARY_DEBUG} )
+ENDIF( SQLITE3_LIBRARY_DEBUG AND SQLITE3_LIBRARY_RELEASE )
+
+IF( SQLITE3_FOUND )
+	IF( NOT SQLITE3_FIND_QUIETLY )
+		MESSAGE( STATUS "Found Sqlite3 header file in ${SQLITE3_INCLUDE_DIR}")
+		MESSAGE( STATUS "Found Sqlite3 libraries: ${SQLITE3_LIBRARIES}")
+	ENDIF( NOT SQLITE3_FIND_QUIETLY )
+ELSE(SQLITE3_FOUND)
+	IF( SQLITE3_FIND_REQUIRED)
+		MESSAGE( FATAL_ERROR "Could not find Sqlite3" )
+	ELSE( SQLITE3_FIND_REQUIRED)
+		MESSAGE( STATUS "Optional package Sqlite3 was not found" )
+	ENDIF( SQLITE3_FIND_REQUIRED)
+ENDIF(SQLITE3_FOUND)
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/FindTBB.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/FindTBB.cmake
new file mode 100644
index 000000000..beb7f7b86
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/FindTBB.cmake
@@ -0,0 +1,111 @@
+#-------------------------------------------------------------------
+# This file is part of the CMake build system for OGRE
+#     (Object-oriented Graphics Rendering Engine)
+# For the latest info, see http://www.ogre3d.org/
+#
+# The contents of this file are placed in the public domain. Feel
+# free to make use of it in any way you like.
+#-------------------------------------------------------------------
+
+# - Try to find ThreadingBuildingBlocks libraries
+# Once done, this will define
+#
+#  TBB_FOUND - system has TBB
+#  TBB_INCLUDE_DIRS - the TBB include directories 
+#  TBB_LIBRARIES - link these to use TBB
+
+include(FindPkgMacros)
+findpkg_begin(TBB)
+
+# Get path, convert backslashes as ${ENV_${var}}
+getenv_path(TBB_HOME)
+getenv_path(TBB_ROOT)
+getenv_path(TBB_BASE)
+
+# construct search paths
+set(TBB_PREFIX_PATH 
+  ${TBB_HOME} ${ENV_TBB_HOME} 
+  ${TBB_ROOT} ${ENV_TBB_ROOT}
+  ${TBB_BASE} ${ENV_TBB_BASE}
+)
+# redo search if prefix path changed
+clear_if_changed(TBB_PREFIX_PATH
+  TBB_LIBRARY_FWK
+  TBB_LIBRARY_REL
+  TBB_LIBRARY_DBG
+  TBB_INCLUDE_DIR
+)
+
+create_search_paths(TBB)
+set(TBB_INC_SEARCH_PATH ${TBB_INC_SEARCH_PATH} ${TBB_PREFIX_PATH})
+
+# For Windows, let's assume that the user might be using the precompiled
+# TBB packages from the main website. These use a rather awkward directory
+# structure (at least for automatically finding the right files) depending
+# on platform and compiler, but we'll do our best to accomodate it.
+# Not adding the same effort for the precompiled linux builds, though. Those
+# have different versions for CC compiler versions and linux kernels which
+# will never adequately match the user's setup, so there is no feasible way
+# to detect the "best" version to use. The user will have to manually
+# select the right files. (Chances are the distributions are shipping their
+# custom version of tbb, anyway, so the problem is probably nonexistant.)
+if (WIN32)
+  set(COMPILER_PREFIX "vc7.1")
+  if (MSVC80)
+    set(COMPILER_PREFIX "vc8")
+  endif ()
+  if (MSVC90)
+    set(COMPILER_PREFIX "vc9")
+  endif ()
+  
+  # for each prefix path, add ia32/64\${COMPILER_PREFIX}\lib to the lib search path
+  foreach (dir ${TBB_PREFIX_PATH})
+    if (CMAKE_CL_64)
+      list(APPEND TBB_LIB_SEARCH_PATH ${dir}/ia64/${COMPILER_PREFIX}/lib)
+      list(APPEND TBB_LIB_SEARCH_PATH ${dir}/intel64/${COMPILER_PREFIX}/lib)
+    else ()
+      list(APPEND TBB_LIB_SEARCH_PATH ${dir}/ia32/${COMPILER_PREFIX}/lib)
+    endif ()
+  endforeach ()
+endif ()
+
+
+
+set(TBB_LIBRARY_NAMES tbb)
+get_debug_names(TBB_LIBRARY_NAMES)
+
+# use_pkgconfig(TBB_PKGC TBB)
+
+findpkg_framework(TBB)
+
+find_path(TBB_INCLUDE_DIR NAMES tbb/tbb.h HINTS ${TBB_INC_SEARCH_PATH} ${TBB_PKGC_INCLUDE_DIRS})
+find_library(TBB_LIBRARY_REL NAMES ${TBB_LIBRARY_NAMES} HINTS ${TBB_LIB_SEARCH_PATH} ${TBB_PKGC_LIBRARY_DIRS})
+find_library(TBB_LIBRARY_DBG NAMES ${TBB_LIBRARY_NAMES_DBG} HINTS ${TBB_LIB_SEARCH_PATH} ${TBB_PKGC_LIBRARY_DIRS})
+make_library_set(TBB_LIBRARY)
+
+findpkg_finish(TBB)
+
+if (NOT TBB_FOUND)
+  return()
+endif ()
+
+
+# Look for TBB's malloc package
+findpkg_begin(TBB_MALLOC)
+set(TBB_MALLOC_LIBRARY_NAMES tbbmalloc)
+get_debug_names(TBB_MALLOC_LIBRARY_NAMES)
+find_path(TBB_MALLOC_INCLUDE_DIR NAMES tbb/tbb.h HINTS ${TBB_INCLUDE_DIR} ${TBB_INC_SEARCH_PATH} ${TBB_PKGC_INCLUDE_DIRS} )
+find_library(TBB_MALLOC_LIBRARY_REL NAMES ${TBB_MALLOC_LIBRARY_NAMES} HINTS ${TBB_LIB_SEARCH_PATH} ${TBB_PKGC_LIBRARY_DIRS} )
+find_library(TBB_MALLOC_LIBRARY_DBG NAMES ${TBB_MALLOC_LIBRARY_NAMES_DBG} HINTS ${TBB_LIB_SEARCH_PATH} ${TBB_PKGC_LIBRARY_DIRS} )
+make_library_set(TBB_MALLOC_LIBRARY)
+findpkg_finish(TBB_MALLOC)
+
+# Look for TBB's malloc proxy package
+findpkg_begin(TBB_MALLOC_PROXY)
+set(TBB_MALLOC_PROXY_LIBRARY_NAMES tbbmalloc_proxy)
+get_debug_names(TBB_MALLOC_PROXY_LIBRARY_NAMES)
+find_path(TBB_MALLOC_PROXY_INCLUDE_DIR NAMES tbb/tbbmalloc_proxy.h HINTS ${TBB_INCLUDE_DIR} ${TBB_INC_SEARCH_PATH} ${TBB_PKGC_INCLUDE_DIRS})
+find_library(TBB_MALLOC_PROXY_LIBRARY_REL NAMES ${TBB_MALLOC_PROXY_LIBRARY_NAMES} HINTS ${TBB_LIB_SEARCH_PATH} ${TBB_PKGC_LIBRARY_DIRS})
+find_library(TBB_MALLOC_PROXY_LIBRARY_DBG NAMES ${TBB_MALLOC_PROXY_LIBRARY_NAMES_DBG} HINTS ${TBB_LIB_SEARCH_PATH} ${TBB_PKGC_LIBRARY_DIRS})
+make_library_set(TBB_MALLOC_PROXY_LIBRARY)
+findpkg_finish(TBB_MALLOC_PROXY)
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/FindValgrind.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/FindValgrind.cmake
new file mode 100644
index 000000000..cafc01167
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/FindValgrind.cmake
@@ -0,0 +1,22 @@
+# Find Valgrind.
+#
+# This module defines:
+#  VALGRIND_INCLUDE_DIR, where to find valgrind/memcheck.h, etc.
+#  VALGRIND_PROGRAM, the valgrind executable.
+#  VALGRIND_FOUND, If false, do not try to use valgrind.
+#
+# If you have valgrind installed in a non-standard place, you can define
+# VALGRIND_PREFIX to tell cmake where it is.
+
+message(STATUS "Valgrind Prefix: ${VALGRIND_PREFIX}")
+
+find_path(VALGRIND_INCLUDE_DIR memcheck.h
+  /usr/include /usr/include/valgrind /usr/local/include /usr/local/include/valgrind
+  ${VALGRIND_PREFIX}/include ${VALGRIND_PREFIX}/include/valgrind)
+find_program(VALGRIND_PROGRAM NAMES valgrind PATH /usr/bin /usr/local/bin ${VALGRIND_PREFIX}/bin)
+
+find_package_handle_standard_args(VALGRIND DEFAULT_MSG
+    VALGRIND_INCLUDE_DIR
+    VALGRIND_PROGRAM)
+
+mark_as_advanced(VALGRIND_INCLUDE_DIR VALGRIND_PROGRAM)
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/GetGitRevisionDescription.cmake b/cryptominisat5/cryptominisat-5.6.3/cmake/GetGitRevisionDescription.cmake
new file mode 100644
index 000000000..2fb24584a
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/GetGitRevisionDescription.cmake
@@ -0,0 +1,116 @@
+# - Returns a version string from Git
+#
+# These functions force a re-configure on each git commit so that you can
+# trust the values of the variables in your build system.
+#
+#  get_git_head_revision(<refspecvar> <hashvar> [<additional arguments to git describe> ...])
+#
+# Returns the refspec and sha hash of the current head revision
+#
+#  git_describe(<var> [<additional arguments to git describe> ...])
+#
+# Returns the results of git describe on the source tree, and adjusting
+# the output so that it tests false if an error occurs.
+#
+#  git_get_exact_tag(<var> [<additional arguments to git describe> ...])
+#
+# Returns the results of git describe --exact-match on the source tree,
+# and adjusting the output so that it tests false if there was no exact
+# matching tag.
+#
+# Requires CMake 2.6 or newer (uses the 'function' command)
+#
+# Original Author:
+# 2009-2010 Ryan Pavlik <rpavlik@iastate.edu> <abiryan@ryand.net>
+# http://academic.cleardefinition.com
+# Iowa State University HCI Graduate Program/VRAC
+#
+# Copyright Iowa State University 2009-2010.
+# Distributed under the Boost Software License, Version 1.0.
+# (See accompanying file LICENSE_1_0.txt or copy at
+# http://www.boost.org/LICENSE_1_0.txt)
+
+if(__get_git_revision_description)
+	return()
+endif()
+set(__get_git_revision_description YES)
+
+# We must run the following at "include" time, not at function call time,
+# to find the path to this module rather than the path to a calling list file
+get_filename_component(_gitdescmoddir ${CMAKE_CURRENT_LIST_FILE} PATH)
+
+function(get_git_head_revision _refspecvar _hashvar)
+	set(GIT_PARENT_DIR "${CMAKE_SOURCE_DIR}")
+	set(GIT_DIR "${GIT_PARENT_DIR}/.git")
+	while(NOT EXISTS "${GIT_DIR}")	# .git dir not found, search parent directories
+		set(GIT_PREVIOUS_PARENT "${GIT_PARENT_DIR}")
+		get_filename_component(GIT_PARENT_DIR ${GIT_PARENT_DIR} PATH)
+		if(GIT_PARENT_DIR STREQUAL GIT_PREVIOUS_PARENT)
+			# We have reached the root directory, we are not in git
+			set(${_refspecvar} "GIT-notfound" PARENT_SCOPE)
+			set(${_hashvar} "GIT-notfound" PARENT_SCOPE)
+			return()
+		endif()
+		set(GIT_DIR "${GIT_PARENT_DIR}/.git")
+	endwhile()
+	set(GIT_DATA "${CMAKE_CURRENT_BINARY_DIR}/CMakeFiles/git-data")
+	if(NOT EXISTS "${GIT_DATA}")
+		file(MAKE_DIRECTORY "${GIT_DATA}")
+	endif()
+
+	if(NOT EXISTS "${GIT_DIR}/HEAD")
+		return()
+	endif()
+	set(HEAD_FILE "${GIT_DATA}/HEAD")
+	configure_file("${GIT_DIR}/HEAD" "${HEAD_FILE}" COPYONLY)
+
+	configure_file("${_gitdescmoddir}/GetGitRevisionDescription.cmake.in"
+		"${GIT_DATA}/grabRef.cmake"
+		@ONLY)
+	include("${GIT_DATA}/grabRef.cmake")
+
+	set(${_refspecvar} "${HEAD_REF}" PARENT_SCOPE)
+	set(${_hashvar} "${HEAD_HASH}" PARENT_SCOPE)
+endfunction()
+
+function(git_describe _var)
+	if(NOT GIT_FOUND)
+		find_package(Git QUIET)
+	endif()
+	get_git_head_revision(refspec hash)
+	if(NOT GIT_FOUND)
+		set(${_var} "${CPACK_PACKAGE_VERSION}-compiled-from-cmake" PARENT_SCOPE)
+		return()
+	endif()
+	if(NOT hash)
+		set(${_var} "${CPACK_PACKAGE_VERSION}-compiled-from-cmake" PARENT_SCOPE)
+		return()
+	endif()
+
+	# TODO sanitize
+	#if((${ARGN}" MATCHES "&&") OR
+	#	(ARGN MATCHES "||") OR
+	#	(ARGN MATCHES "\\;"))
+	#	message("Please report the following error to the project!")
+	#	message(FATAL_ERROR "Looks like someone's doing something nefarious with git_describe! Passed arguments ${ARGN}")
+	#endif()
+
+	#message(STATUS "Arguments to execute_process: ${ARGN}")
+
+	execute_process(COMMAND "${GIT_EXECUTABLE}" describe ${hash} ${ARGN}
+		WORKING_DIRECTORY "${CMAKE_SOURCE_DIR}"
+		RESULT_VARIABLE res
+		OUTPUT_VARIABLE out
+		#ERROR_QUIET
+		OUTPUT_STRIP_TRAILING_WHITESPACE)
+	if(NOT res EQUAL 0)
+		set(out "${CPACK_PACKAGE_VERSION} (approximate version number)")
+	endif()
+
+	set(${_var} "${out}" PARENT_SCOPE)
+endfunction()
+
+function(git_get_exact_tag _var)
+	git_describe(out --exact-match ${ARGN})
+	set(${_var} "${out}" PARENT_SCOPE)
+endfunction()
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/GetGitRevisionDescription.cmake.in b/cryptominisat5/cryptominisat-5.6.3/cmake/GetGitRevisionDescription.cmake.in
new file mode 100644
index 000000000..888ce13aa
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/GetGitRevisionDescription.cmake.in
@@ -0,0 +1,38 @@
+# 
+# Internal file for GetGitRevisionDescription.cmake
+#
+# Requires CMake 2.6 or newer (uses the 'function' command)
+#
+# Original Author:
+# 2009-2010 Ryan Pavlik <rpavlik@iastate.edu> <abiryan@ryand.net>
+# http://academic.cleardefinition.com
+# Iowa State University HCI Graduate Program/VRAC
+#
+# Copyright Iowa State University 2009-2010.
+# Distributed under the Boost Software License, Version 1.0.
+# (See accompanying file LICENSE_1_0.txt or copy at
+# http://www.boost.org/LICENSE_1_0.txt)
+
+set(HEAD_HASH)
+
+file(READ "@HEAD_FILE@" HEAD_CONTENTS LIMIT 1024)
+
+string(STRIP "${HEAD_CONTENTS}" HEAD_CONTENTS)
+if(HEAD_CONTENTS MATCHES "ref")
+	# named branch
+	string(REPLACE "ref: " "" HEAD_REF "${HEAD_CONTENTS}")
+	if(EXISTS "@GIT_DIR@/${HEAD_REF}")
+		configure_file("@GIT_DIR@/${HEAD_REF}" "@GIT_DATA@/head-ref" COPYONLY)
+	elseif(EXISTS "@GIT_DIR@/logs/${HEAD_REF}")
+		configure_file("@GIT_DIR@/logs/${HEAD_REF}" "@GIT_DATA@/head-ref" COPYONLY)
+		set(HEAD_HASH "${HEAD_REF}")
+	endif()
+else()
+	# detached HEAD
+	configure_file("@GIT_DIR@/HEAD" "@GIT_DATA@/head-ref" COPYONLY)
+endif()
+
+if(NOT HEAD_HASH)
+	file(READ "@GIT_DATA@/head-ref" HEAD_HASH LIMIT 1024)
+	string(STRIP "${HEAD_HASH}" HEAD_HASH)
+endif()
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in b/cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in
new file mode 100644
index 000000000..13cedcc55
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in
@@ -0,0 +1,24 @@
+cmake_policy(SET CMP0007 NEW) # Suppress warnings see `cmake --help-policy CMP0007`
+
+if (NOT EXISTS "@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt")
+    message(FATAL_ERROR "Cannot find install manifest: \"@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt\"")
+endif(NOT EXISTS "@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt")
+
+file(READ "@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt" files)
+string(REGEX REPLACE "\n" ";" files "${files}")
+list(REVERSE files)
+foreach (file ${files})
+    message(STATUS "Uninstalling \"$ENV{DESTDIR}${file}\"")
+    if (EXISTS "$ENV{DESTDIR}${file}")
+        execute_process(
+            COMMAND @CMAKE_COMMAND@ -E remove "$ENV{DESTDIR}${file}"
+            OUTPUT_VARIABLE rm_out
+            RESULT_VARIABLE rm_retval
+        )
+        if(NOT ${rm_retval} EQUAL 0)
+            message(FATAL_ERROR "Problem when removing \"$ENV{DESTDIR}${file}\"")
+        endif (NOT ${rm_retval} EQUAL 0)
+    else (EXISTS "$ENV{DESTDIR}${file}")
+        message(STATUS "File \"$ENV{DESTDIR}${file}\" does not exist.")
+    endif (EXISTS "$ENV{DESTDIR}${file}")
+endforeach(file)