clean up

1 files changed, 0 insertions, 1402 deletions

diff --git a/cryptominisat5/build/cmsat5-src/Makefile b/cryptominisat5/build/cmsat5-src/Makefile
deleted file mode 100644
index 616112f41..000000000
--- a/cryptominisat5/build/cmsat5-src/Makefile
+++ /dev/null
@@ -1,1402 +0,0 @@
-# CMAKE generated file: DO NOT EDIT!
-# Generated by "Unix Makefiles" Generator, CMake Version 3.10
-
-# Default target executed when no arguments are given to make.
-default_target: all
-
-.PHONY : default_target
-
-# Allow only one "make -f Makefile2" at a time, but pass parallelism.
-.NOTPARALLEL:
-
-
-#=============================================================================
-# Special targets provided by cmake.
-
-# Disable implicit rules so canonical targets will work.
-.SUFFIXES:
-
-
-# Remove some rules from gmake that .SUFFIXES does not remove.
-SUFFIXES =
-
-.SUFFIXES: .hpux_make_needs_suffix_list
-
-
-# Suppress display of executed commands.
-$(VERBOSE).SILENT:
-
-
-# A target that is always out of date.
-cmake_force:
-
-.PHONY : cmake_force
-
-#=============================================================================
-# Set environment variables for the build.
-
-# The shell in which to execute make rules.
-SHELL = /bin/sh
-
-# The CMake executable.
-CMAKE_COMMAND = /usr/bin/cmake
-
-# The command to remove a file.
-RM = /usr/bin/cmake -E remove -f
-
-# Escaping for special characters.
-EQUALS = =
-
-# The top-level source directory on which CMake was run.
-CMAKE_SOURCE_DIR = /home/haozewu/Projects/CVC4/cryptominisat5/cryptominisat-5.6.3
-
-# The top-level build directory on which CMake was run.
-CMAKE_BINARY_DIR = /home/haozewu/Projects/CVC4/cryptominisat5/build
-
-#=============================================================================
-# Targets provided globally by CMake.
-
-# Special rule for the target install/strip
-install/strip: preinstall
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing the project stripped..."
-	/usr/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
-.PHONY : install/strip
-
-# Special rule for the target install/strip
-install/strip/fast: preinstall/fast
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing the project stripped..."
-	/usr/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
-.PHONY : install/strip/fast
-
-# Special rule for the target install/local
-install/local: preinstall
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing only the local directory..."
-	/usr/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
-.PHONY : install/local
-
-# Special rule for the target install/local
-install/local/fast: preinstall/fast
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing only the local directory..."
-	/usr/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
-.PHONY : install/local/fast
-
-# Special rule for the target install
-install: preinstall
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
-	/usr/bin/cmake -P cmake_install.cmake
-.PHONY : install
-
-# Special rule for the target install
-install/fast: preinstall/fast
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
-	/usr/bin/cmake -P cmake_install.cmake
-.PHONY : install/fast
-
-# Special rule for the target rebuild_cache
-rebuild_cache:
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running CMake to regenerate build system..."
-	/usr/bin/cmake -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
-.PHONY : rebuild_cache
-
-# Special rule for the target rebuild_cache
-rebuild_cache/fast: rebuild_cache
-
-.PHONY : rebuild_cache/fast
-
-# Special rule for the target list_install_components
-list_install_components:
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Available install components are: \"Unspecified\""
-.PHONY : list_install_components
-
-# Special rule for the target list_install_components
-list_install_components/fast: list_install_components
-
-.PHONY : list_install_components/fast
-
-# Special rule for the target edit_cache
-edit_cache:
-	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "No interactive CMake dialog available..."
-	/usr/bin/cmake -E echo No\ interactive\ CMake\ dialog\ available.
-.PHONY : edit_cache
-
-# Special rule for the target edit_cache
-edit_cache/fast: edit_cache
-
-.PHONY : edit_cache/fast
-
-# The main all target
-all: cmake_check_build_system
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles /home/haozewu/Projects/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/progress.marks
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/all
-	$(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 0
-.PHONY : all
-
-# The main clean target
-clean:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/clean
-.PHONY : clean
-
-# The main clean target
-clean/fast: clean
-
-.PHONY : clean/fast
-
-# Prepare targets for installation.
-preinstall: all
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/preinstall
-.PHONY : preinstall
-
-# Prepare targets for installation.
-preinstall/fast:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/preinstall
-.PHONY : preinstall/fast
-
-# clear depends
-depend:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
-.PHONY : depend
-
-# Convenience name for target.
-cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule
-.PHONY : cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule
-
-# Convenience name for target.
-CopyPublicHeaders: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule
-
-.PHONY : CopyPublicHeaders
-
-# fast build rule for target.
-CopyPublicHeaders/fast:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build
-.PHONY : CopyPublicHeaders/fast
-
-# Convenience name for target.
-cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/rule:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/rule
-.PHONY : cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/rule
-
-# Convenience name for target.
-cryptominisat5_simple: cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/rule
-
-.PHONY : cryptominisat5_simple
-
-# fast build rule for target.
-cryptominisat5_simple/fast:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build
-.PHONY : cryptominisat5_simple/fast
-
-# Convenience name for target.
-cmsat5-src/CMakeFiles/libcryptominisat5.dir/rule:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/libcryptominisat5.dir/rule
-.PHONY : cmsat5-src/CMakeFiles/libcryptominisat5.dir/rule
-
-# Convenience name for target.
-libcryptominisat5: cmsat5-src/CMakeFiles/libcryptominisat5.dir/rule
-
-.PHONY : libcryptominisat5
-
-# fast build rule for target.
-libcryptominisat5/fast:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build
-.PHONY : libcryptominisat5/fast
-
-GitSHA1.o: GitSHA1.cpp.o
-
-.PHONY : GitSHA1.o
-
-# target to build an object file
-GitSHA1.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o
-.PHONY : GitSHA1.cpp.o
-
-GitSHA1.i: GitSHA1.cpp.i
-
-.PHONY : GitSHA1.i
-
-# target to preprocess a source file
-GitSHA1.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.i
-.PHONY : GitSHA1.cpp.i
-
-GitSHA1.s: GitSHA1.cpp.s
-
-.PHONY : GitSHA1.s
-
-# target to generate assembly for a file
-GitSHA1.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.s
-.PHONY : GitSHA1.cpp.s
-
-bva.o: bva.cpp.o
-
-.PHONY : bva.o
-
-# target to build an object file
-bva.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o
-.PHONY : bva.cpp.o
-
-bva.i: bva.cpp.i
-
-.PHONY : bva.i
-
-# target to preprocess a source file
-bva.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.i
-.PHONY : bva.cpp.i
-
-bva.s: bva.cpp.s
-
-.PHONY : bva.s
-
-# target to generate assembly for a file
-bva.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.s
-.PHONY : bva.cpp.s
-
-clauseallocator.o: clauseallocator.cpp.o
-
-.PHONY : clauseallocator.o
-
-# target to build an object file
-clauseallocator.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o
-.PHONY : clauseallocator.cpp.o
-
-clauseallocator.i: clauseallocator.cpp.i
-
-.PHONY : clauseallocator.i
-
-# target to preprocess a source file
-clauseallocator.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.i
-.PHONY : clauseallocator.cpp.i
-
-clauseallocator.s: clauseallocator.cpp.s
-
-.PHONY : clauseallocator.s
-
-# target to generate assembly for a file
-clauseallocator.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.s
-.PHONY : clauseallocator.cpp.s
-
-clausecleaner.o: clausecleaner.cpp.o
-
-.PHONY : clausecleaner.o
-
-# target to build an object file
-clausecleaner.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o
-.PHONY : clausecleaner.cpp.o
-
-clausecleaner.i: clausecleaner.cpp.i
-
-.PHONY : clausecleaner.i
-
-# target to preprocess a source file
-clausecleaner.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.i
-.PHONY : clausecleaner.cpp.i
-
-clausecleaner.s: clausecleaner.cpp.s
-
-.PHONY : clausecleaner.s
-
-# target to generate assembly for a file
-clausecleaner.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.s
-.PHONY : clausecleaner.cpp.s
-
-clausedumper.o: clausedumper.cpp.o
-
-.PHONY : clausedumper.o
-
-# target to build an object file
-clausedumper.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o
-.PHONY : clausedumper.cpp.o
-
-clausedumper.i: clausedumper.cpp.i
-
-.PHONY : clausedumper.i
-
-# target to preprocess a source file
-clausedumper.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.i
-.PHONY : clausedumper.cpp.i
-
-clausedumper.s: clausedumper.cpp.s
-
-.PHONY : clausedumper.s
-
-# target to generate assembly for a file
-clausedumper.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.s
-.PHONY : clausedumper.cpp.s
-
-clauseusagestats.o: clauseusagestats.cpp.o
-
-.PHONY : clauseusagestats.o
-
-# target to build an object file
-clauseusagestats.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o
-.PHONY : clauseusagestats.cpp.o
-
-clauseusagestats.i: clauseusagestats.cpp.i
-
-.PHONY : clauseusagestats.i
-
-# target to preprocess a source file
-clauseusagestats.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.i
-.PHONY : clauseusagestats.cpp.i
-
-clauseusagestats.s: clauseusagestats.cpp.s
-
-.PHONY : clauseusagestats.s
-
-# target to generate assembly for a file
-clauseusagestats.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.s
-.PHONY : clauseusagestats.cpp.s
-
-cnf.o: cnf.cpp.o
-
-.PHONY : cnf.o
-
-# target to build an object file
-cnf.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o
-.PHONY : cnf.cpp.o
-
-cnf.i: cnf.cpp.i
-
-.PHONY : cnf.i
-
-# target to preprocess a source file
-cnf.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.i
-.PHONY : cnf.cpp.i
-
-cnf.s: cnf.cpp.s
-
-.PHONY : cnf.s
-
-# target to generate assembly for a file
-cnf.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.s
-.PHONY : cnf.cpp.s
-
-compfinder.o: compfinder.cpp.o
-
-.PHONY : compfinder.o
-
-# target to build an object file
-compfinder.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o
-.PHONY : compfinder.cpp.o
-
-compfinder.i: compfinder.cpp.i
-
-.PHONY : compfinder.i
-
-# target to preprocess a source file
-compfinder.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.i
-.PHONY : compfinder.cpp.i
-
-compfinder.s: compfinder.cpp.s
-
-.PHONY : compfinder.s
-
-# target to generate assembly for a file
-compfinder.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.s
-.PHONY : compfinder.cpp.s
-
-comphandler.o: comphandler.cpp.o
-
-.PHONY : comphandler.o
-
-# target to build an object file
-comphandler.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o
-.PHONY : comphandler.cpp.o
-
-comphandler.i: comphandler.cpp.i
-
-.PHONY : comphandler.i
-
-# target to preprocess a source file
-comphandler.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.i
-.PHONY : comphandler.cpp.i
-
-comphandler.s: comphandler.cpp.s
-
-.PHONY : comphandler.s
-
-# target to generate assembly for a file
-comphandler.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.s
-.PHONY : comphandler.cpp.s
-
-completedetachreattacher.o: completedetachreattacher.cpp.o
-
-.PHONY : completedetachreattacher.o
-
-# target to build an object file
-completedetachreattacher.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o
-.PHONY : completedetachreattacher.cpp.o
-
-completedetachreattacher.i: completedetachreattacher.cpp.i
-
-.PHONY : completedetachreattacher.i
-
-# target to preprocess a source file
-completedetachreattacher.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.i
-.PHONY : completedetachreattacher.cpp.i
-
-completedetachreattacher.s: completedetachreattacher.cpp.s
-
-.PHONY : completedetachreattacher.s
-
-# target to generate assembly for a file
-completedetachreattacher.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.s
-.PHONY : completedetachreattacher.cpp.s
-
-cryptominisat.o: cryptominisat.cpp.o
-
-.PHONY : cryptominisat.o
-
-# target to build an object file
-cryptominisat.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o
-.PHONY : cryptominisat.cpp.o
-
-cryptominisat.i: cryptominisat.cpp.i
-
-.PHONY : cryptominisat.i
-
-# target to preprocess a source file
-cryptominisat.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.i
-.PHONY : cryptominisat.cpp.i
-
-cryptominisat.s: cryptominisat.cpp.s
-
-.PHONY : cryptominisat.s
-
-# target to generate assembly for a file
-cryptominisat.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.s
-.PHONY : cryptominisat.cpp.s
-
-cryptominisat_c.o: cryptominisat_c.cpp.o
-
-.PHONY : cryptominisat_c.o
-
-# target to build an object file
-cryptominisat_c.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o
-.PHONY : cryptominisat_c.cpp.o
-
-cryptominisat_c.i: cryptominisat_c.cpp.i
-
-.PHONY : cryptominisat_c.i
-
-# target to preprocess a source file
-cryptominisat_c.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.i
-.PHONY : cryptominisat_c.cpp.i
-
-cryptominisat_c.s: cryptominisat_c.cpp.s
-
-.PHONY : cryptominisat_c.s
-
-# target to generate assembly for a file
-cryptominisat_c.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.s
-.PHONY : cryptominisat_c.cpp.s
-
-datasync.o: datasync.cpp.o
-
-.PHONY : datasync.o
-
-# target to build an object file
-datasync.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o
-.PHONY : datasync.cpp.o
-
-datasync.i: datasync.cpp.i
-
-.PHONY : datasync.i
-
-# target to preprocess a source file
-datasync.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.i
-.PHONY : datasync.cpp.i
-
-datasync.s: datasync.cpp.s
-
-.PHONY : datasync.s
-
-# target to generate assembly for a file
-datasync.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.s
-.PHONY : datasync.cpp.s
-
-distillerlong.o: distillerlong.cpp.o
-
-.PHONY : distillerlong.o
-
-# target to build an object file
-distillerlong.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o
-.PHONY : distillerlong.cpp.o
-
-distillerlong.i: distillerlong.cpp.i
-
-.PHONY : distillerlong.i
-
-# target to preprocess a source file
-distillerlong.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.i
-.PHONY : distillerlong.cpp.i
-
-distillerlong.s: distillerlong.cpp.s
-
-.PHONY : distillerlong.s
-
-# target to generate assembly for a file
-distillerlong.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.s
-.PHONY : distillerlong.cpp.s
-
-distillerlongwithimpl.o: distillerlongwithimpl.cpp.o
-
-.PHONY : distillerlongwithimpl.o
-
-# target to build an object file
-distillerlongwithimpl.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o
-.PHONY : distillerlongwithimpl.cpp.o
-
-distillerlongwithimpl.i: distillerlongwithimpl.cpp.i
-
-.PHONY : distillerlongwithimpl.i
-
-# target to preprocess a source file
-distillerlongwithimpl.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.i
-.PHONY : distillerlongwithimpl.cpp.i
-
-distillerlongwithimpl.s: distillerlongwithimpl.cpp.s
-
-.PHONY : distillerlongwithimpl.s
-
-# target to generate assembly for a file
-distillerlongwithimpl.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.s
-.PHONY : distillerlongwithimpl.cpp.s
-
-features_calc.o: features_calc.cpp.o
-
-.PHONY : features_calc.o
-
-# target to build an object file
-features_calc.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o
-.PHONY : features_calc.cpp.o
-
-features_calc.i: features_calc.cpp.i
-
-.PHONY : features_calc.i
-
-# target to preprocess a source file
-features_calc.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.i
-.PHONY : features_calc.cpp.i
-
-features_calc.s: features_calc.cpp.s
-
-.PHONY : features_calc.s
-
-# target to generate assembly for a file
-features_calc.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.s
-.PHONY : features_calc.cpp.s
-
-features_to_reconf.o: features_to_reconf.cpp.o
-
-.PHONY : features_to_reconf.o
-
-# target to build an object file
-features_to_reconf.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o
-.PHONY : features_to_reconf.cpp.o
-
-features_to_reconf.i: features_to_reconf.cpp.i
-
-.PHONY : features_to_reconf.i
-
-# target to preprocess a source file
-features_to_reconf.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.i
-.PHONY : features_to_reconf.cpp.i
-
-features_to_reconf.s: features_to_reconf.cpp.s
-
-.PHONY : features_to_reconf.s
-
-# target to generate assembly for a file
-features_to_reconf.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.s
-.PHONY : features_to_reconf.cpp.s
-
-hyperengine.o: hyperengine.cpp.o
-
-.PHONY : hyperengine.o
-
-# target to build an object file
-hyperengine.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o
-.PHONY : hyperengine.cpp.o
-
-hyperengine.i: hyperengine.cpp.i
-
-.PHONY : hyperengine.i
-
-# target to preprocess a source file
-hyperengine.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.i
-.PHONY : hyperengine.cpp.i
-
-hyperengine.s: hyperengine.cpp.s
-
-.PHONY : hyperengine.s
-
-# target to generate assembly for a file
-hyperengine.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.s
-.PHONY : hyperengine.cpp.s
-
-implcache.o: implcache.cpp.o
-
-.PHONY : implcache.o
-
-# target to build an object file
-implcache.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o
-.PHONY : implcache.cpp.o
-
-implcache.i: implcache.cpp.i
-
-.PHONY : implcache.i
-
-# target to preprocess a source file
-implcache.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.i
-.PHONY : implcache.cpp.i
-
-implcache.s: implcache.cpp.s
-
-.PHONY : implcache.s
-
-# target to generate assembly for a file
-implcache.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.s
-.PHONY : implcache.cpp.s
-
-intree.o: intree.cpp.o
-
-.PHONY : intree.o
-
-# target to build an object file
-intree.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o
-.PHONY : intree.cpp.o
-
-intree.i: intree.cpp.i
-
-.PHONY : intree.i
-
-# target to preprocess a source file
-intree.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.i
-.PHONY : intree.cpp.i
-
-intree.s: intree.cpp.s
-
-.PHONY : intree.s
-
-# target to generate assembly for a file
-intree.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.s
-.PHONY : intree.cpp.s
-
-main_simple.o: main_simple.cpp.o
-
-.PHONY : main_simple.o
-
-# target to build an object file
-main_simple.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o
-.PHONY : main_simple.cpp.o
-
-main_simple.i: main_simple.cpp.i
-
-.PHONY : main_simple.i
-
-# target to preprocess a source file
-main_simple.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.i
-.PHONY : main_simple.cpp.i
-
-main_simple.s: main_simple.cpp.s
-
-.PHONY : main_simple.s
-
-# target to generate assembly for a file
-main_simple.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.s
-.PHONY : main_simple.cpp.s
-
-occsimplifier.o: occsimplifier.cpp.o
-
-.PHONY : occsimplifier.o
-
-# target to build an object file
-occsimplifier.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o
-.PHONY : occsimplifier.cpp.o
-
-occsimplifier.i: occsimplifier.cpp.i
-
-.PHONY : occsimplifier.i
-
-# target to preprocess a source file
-occsimplifier.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.i
-.PHONY : occsimplifier.cpp.i
-
-occsimplifier.s: occsimplifier.cpp.s
-
-.PHONY : occsimplifier.s
-
-# target to generate assembly for a file
-occsimplifier.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.s
-.PHONY : occsimplifier.cpp.s
-
-prober.o: prober.cpp.o
-
-.PHONY : prober.o
-
-# target to build an object file
-prober.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o
-.PHONY : prober.cpp.o
-
-prober.i: prober.cpp.i
-
-.PHONY : prober.i
-
-# target to preprocess a source file
-prober.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.i
-.PHONY : prober.cpp.i
-
-prober.s: prober.cpp.s
-
-.PHONY : prober.s
-
-# target to generate assembly for a file
-prober.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.s
-.PHONY : prober.cpp.s
-
-propengine.o: propengine.cpp.o
-
-.PHONY : propengine.o
-
-# target to build an object file
-propengine.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o
-.PHONY : propengine.cpp.o
-
-propengine.i: propengine.cpp.i
-
-.PHONY : propengine.i
-
-# target to preprocess a source file
-propengine.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.i
-.PHONY : propengine.cpp.i
-
-propengine.s: propengine.cpp.s
-
-.PHONY : propengine.s
-
-# target to generate assembly for a file
-propengine.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.s
-.PHONY : propengine.cpp.s
-
-reducedb.o: reducedb.cpp.o
-
-.PHONY : reducedb.o
-
-# target to build an object file
-reducedb.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o
-.PHONY : reducedb.cpp.o
-
-reducedb.i: reducedb.cpp.i
-
-.PHONY : reducedb.i
-
-# target to preprocess a source file
-reducedb.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.i
-.PHONY : reducedb.cpp.i
-
-reducedb.s: reducedb.cpp.s
-
-.PHONY : reducedb.s
-
-# target to generate assembly for a file
-reducedb.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.s
-.PHONY : reducedb.cpp.s
-
-sccfinder.o: sccfinder.cpp.o
-
-.PHONY : sccfinder.o
-
-# target to build an object file
-sccfinder.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o
-.PHONY : sccfinder.cpp.o
-
-sccfinder.i: sccfinder.cpp.i
-
-.PHONY : sccfinder.i
-
-# target to preprocess a source file
-sccfinder.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.i
-.PHONY : sccfinder.cpp.i
-
-sccfinder.s: sccfinder.cpp.s
-
-.PHONY : sccfinder.s
-
-# target to generate assembly for a file
-sccfinder.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.s
-.PHONY : sccfinder.cpp.s
-
-searcher.o: searcher.cpp.o
-
-.PHONY : searcher.o
-
-# target to build an object file
-searcher.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o
-.PHONY : searcher.cpp.o
-
-searcher.i: searcher.cpp.i
-
-.PHONY : searcher.i
-
-# target to preprocess a source file
-searcher.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.i
-.PHONY : searcher.cpp.i
-
-searcher.s: searcher.cpp.s
-
-.PHONY : searcher.s
-
-# target to generate assembly for a file
-searcher.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.s
-.PHONY : searcher.cpp.s
-
-searchstats.o: searchstats.cpp.o
-
-.PHONY : searchstats.o
-
-# target to build an object file
-searchstats.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o
-.PHONY : searchstats.cpp.o
-
-searchstats.i: searchstats.cpp.i
-
-.PHONY : searchstats.i
-
-# target to preprocess a source file
-searchstats.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.i
-.PHONY : searchstats.cpp.i
-
-searchstats.s: searchstats.cpp.s
-
-.PHONY : searchstats.s
-
-# target to generate assembly for a file
-searchstats.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.s
-.PHONY : searchstats.cpp.s
-
-solutionextender.o: solutionextender.cpp.o
-
-.PHONY : solutionextender.o
-
-# target to build an object file
-solutionextender.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o
-.PHONY : solutionextender.cpp.o
-
-solutionextender.i: solutionextender.cpp.i
-
-.PHONY : solutionextender.i
-
-# target to preprocess a source file
-solutionextender.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.i
-.PHONY : solutionextender.cpp.i
-
-solutionextender.s: solutionextender.cpp.s
-
-.PHONY : solutionextender.s
-
-# target to generate assembly for a file
-solutionextender.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.s
-.PHONY : solutionextender.cpp.s
-
-solvefeatures.o: solvefeatures.cpp.o
-
-.PHONY : solvefeatures.o
-
-# target to build an object file
-solvefeatures.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o
-.PHONY : solvefeatures.cpp.o
-
-solvefeatures.i: solvefeatures.cpp.i
-
-.PHONY : solvefeatures.i
-
-# target to preprocess a source file
-solvefeatures.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.i
-.PHONY : solvefeatures.cpp.i
-
-solvefeatures.s: solvefeatures.cpp.s
-
-.PHONY : solvefeatures.s
-
-# target to generate assembly for a file
-solvefeatures.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.s
-.PHONY : solvefeatures.cpp.s
-
-solver.o: solver.cpp.o
-
-.PHONY : solver.o
-
-# target to build an object file
-solver.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o
-.PHONY : solver.cpp.o
-
-solver.i: solver.cpp.i
-
-.PHONY : solver.i
-
-# target to preprocess a source file
-solver.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.i
-.PHONY : solver.cpp.i
-
-solver.s: solver.cpp.s
-
-.PHONY : solver.s
-
-# target to generate assembly for a file
-solver.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.s
-.PHONY : solver.cpp.s
-
-solverconf.o: solverconf.cpp.o
-
-.PHONY : solverconf.o
-
-# target to build an object file
-solverconf.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o
-.PHONY : solverconf.cpp.o
-
-solverconf.i: solverconf.cpp.i
-
-.PHONY : solverconf.i
-
-# target to preprocess a source file
-solverconf.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.i
-.PHONY : solverconf.cpp.i
-
-solverconf.s: solverconf.cpp.s
-
-.PHONY : solverconf.s
-
-# target to generate assembly for a file
-solverconf.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.s
-.PHONY : solverconf.cpp.s
-
-sqlstats.o: sqlstats.cpp.o
-
-.PHONY : sqlstats.o
-
-# target to build an object file
-sqlstats.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o
-.PHONY : sqlstats.cpp.o
-
-sqlstats.i: sqlstats.cpp.i
-
-.PHONY : sqlstats.i
-
-# target to preprocess a source file
-sqlstats.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.i
-.PHONY : sqlstats.cpp.i
-
-sqlstats.s: sqlstats.cpp.s
-
-.PHONY : sqlstats.s
-
-# target to generate assembly for a file
-sqlstats.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.s
-.PHONY : sqlstats.cpp.s
-
-stamp.o: stamp.cpp.o
-
-.PHONY : stamp.o
-
-# target to build an object file
-stamp.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o
-.PHONY : stamp.cpp.o
-
-stamp.i: stamp.cpp.i
-
-.PHONY : stamp.i
-
-# target to preprocess a source file
-stamp.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.i
-.PHONY : stamp.cpp.i
-
-stamp.s: stamp.cpp.s
-
-.PHONY : stamp.s
-
-# target to generate assembly for a file
-stamp.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.s
-.PHONY : stamp.cpp.s
-
-str_impl_w_impl_stamp.o: str_impl_w_impl_stamp.cpp.o
-
-.PHONY : str_impl_w_impl_stamp.o
-
-# target to build an object file
-str_impl_w_impl_stamp.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o
-.PHONY : str_impl_w_impl_stamp.cpp.o
-
-str_impl_w_impl_stamp.i: str_impl_w_impl_stamp.cpp.i
-
-.PHONY : str_impl_w_impl_stamp.i
-
-# target to preprocess a source file
-str_impl_w_impl_stamp.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.i
-.PHONY : str_impl_w_impl_stamp.cpp.i
-
-str_impl_w_impl_stamp.s: str_impl_w_impl_stamp.cpp.s
-
-.PHONY : str_impl_w_impl_stamp.s
-
-# target to generate assembly for a file
-str_impl_w_impl_stamp.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.s
-.PHONY : str_impl_w_impl_stamp.cpp.s
-
-subsumeimplicit.o: subsumeimplicit.cpp.o
-
-.PHONY : subsumeimplicit.o
-
-# target to build an object file
-subsumeimplicit.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o
-.PHONY : subsumeimplicit.cpp.o
-
-subsumeimplicit.i: subsumeimplicit.cpp.i
-
-.PHONY : subsumeimplicit.i
-
-# target to preprocess a source file
-subsumeimplicit.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.i
-.PHONY : subsumeimplicit.cpp.i
-
-subsumeimplicit.s: subsumeimplicit.cpp.s
-
-.PHONY : subsumeimplicit.s
-
-# target to generate assembly for a file
-subsumeimplicit.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.s
-.PHONY : subsumeimplicit.cpp.s
-
-subsumestrengthen.o: subsumestrengthen.cpp.o
-
-.PHONY : subsumestrengthen.o
-
-# target to build an object file
-subsumestrengthen.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o
-.PHONY : subsumestrengthen.cpp.o
-
-subsumestrengthen.i: subsumestrengthen.cpp.i
-
-.PHONY : subsumestrengthen.i
-
-# target to preprocess a source file
-subsumestrengthen.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.i
-.PHONY : subsumestrengthen.cpp.i
-
-subsumestrengthen.s: subsumestrengthen.cpp.s
-
-.PHONY : subsumestrengthen.s
-
-# target to generate assembly for a file
-subsumestrengthen.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.s
-.PHONY : subsumestrengthen.cpp.s
-
-varreplacer.o: varreplacer.cpp.o
-
-.PHONY : varreplacer.o
-
-# target to build an object file
-varreplacer.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o
-.PHONY : varreplacer.cpp.o
-
-varreplacer.i: varreplacer.cpp.i
-
-.PHONY : varreplacer.i
-
-# target to preprocess a source file
-varreplacer.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.i
-.PHONY : varreplacer.cpp.i
-
-varreplacer.s: varreplacer.cpp.s
-
-.PHONY : varreplacer.s
-
-# target to generate assembly for a file
-varreplacer.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.s
-.PHONY : varreplacer.cpp.s
-
-xorfinder.o: xorfinder.cpp.o
-
-.PHONY : xorfinder.o
-
-# target to build an object file
-xorfinder.cpp.o:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o
-.PHONY : xorfinder.cpp.o
-
-xorfinder.i: xorfinder.cpp.i
-
-.PHONY : xorfinder.i
-
-# target to preprocess a source file
-xorfinder.cpp.i:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.i
-.PHONY : xorfinder.cpp.i
-
-xorfinder.s: xorfinder.cpp.s
-
-.PHONY : xorfinder.s
-
-# target to generate assembly for a file
-xorfinder.cpp.s:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.s
-.PHONY : xorfinder.cpp.s
-
-# Help Target
-help:
-	@echo "The following are some of the valid targets for this Makefile:"
-	@echo "... all (the default if no target is provided)"
-	@echo "... clean"
-	@echo "... depend"
-	@echo "... install/strip"
-	@echo "... install/local"
-	@echo "... install"
-	@echo "... CopyPublicHeaders"
-	@echo "... cryptominisat5_simple"
-	@echo "... rebuild_cache"
-	@echo "... libcryptominisat5"
-	@echo "... list_install_components"
-	@echo "... edit_cache"
-	@echo "... GitSHA1.o"
-	@echo "... GitSHA1.i"
-	@echo "... GitSHA1.s"
-	@echo "... bva.o"
-	@echo "... bva.i"
-	@echo "... bva.s"
-	@echo "... clauseallocator.o"
-	@echo "... clauseallocator.i"
-	@echo "... clauseallocator.s"
-	@echo "... clausecleaner.o"
-	@echo "... clausecleaner.i"
-	@echo "... clausecleaner.s"
-	@echo "... clausedumper.o"
-	@echo "... clausedumper.i"
-	@echo "... clausedumper.s"
-	@echo "... clauseusagestats.o"
-	@echo "... clauseusagestats.i"
-	@echo "... clauseusagestats.s"
-	@echo "... cnf.o"
-	@echo "... cnf.i"
-	@echo "... cnf.s"
-	@echo "... compfinder.o"
-	@echo "... compfinder.i"
-	@echo "... compfinder.s"
-	@echo "... comphandler.o"
-	@echo "... comphandler.i"
-	@echo "... comphandler.s"
-	@echo "... completedetachreattacher.o"
-	@echo "... completedetachreattacher.i"
-	@echo "... completedetachreattacher.s"
-	@echo "... cryptominisat.o"
-	@echo "... cryptominisat.i"
-	@echo "... cryptominisat.s"
-	@echo "... cryptominisat_c.o"
-	@echo "... cryptominisat_c.i"
-	@echo "... cryptominisat_c.s"
-	@echo "... datasync.o"
-	@echo "... datasync.i"
-	@echo "... datasync.s"
-	@echo "... distillerlong.o"
-	@echo "... distillerlong.i"
-	@echo "... distillerlong.s"
-	@echo "... distillerlongwithimpl.o"
-	@echo "... distillerlongwithimpl.i"
-	@echo "... distillerlongwithimpl.s"
-	@echo "... features_calc.o"
-	@echo "... features_calc.i"
-	@echo "... features_calc.s"
-	@echo "... features_to_reconf.o"
-	@echo "... features_to_reconf.i"
-	@echo "... features_to_reconf.s"
-	@echo "... hyperengine.o"
-	@echo "... hyperengine.i"
-	@echo "... hyperengine.s"
-	@echo "... implcache.o"
-	@echo "... implcache.i"
-	@echo "... implcache.s"
-	@echo "... intree.o"
-	@echo "... intree.i"
-	@echo "... intree.s"
-	@echo "... main_simple.o"
-	@echo "... main_simple.i"
-	@echo "... main_simple.s"
-	@echo "... occsimplifier.o"
-	@echo "... occsimplifier.i"
-	@echo "... occsimplifier.s"
-	@echo "... prober.o"
-	@echo "... prober.i"
-	@echo "... prober.s"
-	@echo "... propengine.o"
-	@echo "... propengine.i"
-	@echo "... propengine.s"
-	@echo "... reducedb.o"
-	@echo "... reducedb.i"
-	@echo "... reducedb.s"
-	@echo "... sccfinder.o"
-	@echo "... sccfinder.i"
-	@echo "... sccfinder.s"
-	@echo "... searcher.o"
-	@echo "... searcher.i"
-	@echo "... searcher.s"
-	@echo "... searchstats.o"
-	@echo "... searchstats.i"
-	@echo "... searchstats.s"
-	@echo "... solutionextender.o"
-	@echo "... solutionextender.i"
-	@echo "... solutionextender.s"
-	@echo "... solvefeatures.o"
-	@echo "... solvefeatures.i"
-	@echo "... solvefeatures.s"
-	@echo "... solver.o"
-	@echo "... solver.i"
-	@echo "... solver.s"
-	@echo "... solverconf.o"
-	@echo "... solverconf.i"
-	@echo "... solverconf.s"
-	@echo "... sqlstats.o"
-	@echo "... sqlstats.i"
-	@echo "... sqlstats.s"
-	@echo "... stamp.o"
-	@echo "... stamp.i"
-	@echo "... stamp.s"
-	@echo "... str_impl_w_impl_stamp.o"
-	@echo "... str_impl_w_impl_stamp.i"
-	@echo "... str_impl_w_impl_stamp.s"
-	@echo "... subsumeimplicit.o"
-	@echo "... subsumeimplicit.i"
-	@echo "... subsumeimplicit.s"
-	@echo "... subsumestrengthen.o"
-	@echo "... subsumestrengthen.i"
-	@echo "... subsumestrengthen.s"
-	@echo "... varreplacer.o"
-	@echo "... varreplacer.i"
-	@echo "... varreplacer.s"
-	@echo "... xorfinder.o"
-	@echo "... xorfinder.i"
-	@echo "... xorfinder.s"
-.PHONY : help
-
-
-
-#=============================================================================
-# Special targets to cleanup operation of make.
-
-# Special rule to run CMake to check the build system integrity.
-# No rule that depends on this can have commands that come from listfiles
-# because they might be regenerated.
-cmake_check_build_system:
-	cd /home/haozewu/Projects/CVC4/cryptominisat5/build && $(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
-.PHONY : cmake_check_build_system
-