# The set of languages for which implicit dependencies are needed:
set(CMAKE_DEPENDS_LANGUAGES
  "CXX"
  )
# The set of files for implicit dependencies of each language:
set(CMAKE_DEPENDS_CHECK_CXX
  "/home/usr/Desktop/github/sat2021/src/blocked.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/blocked.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/clause.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/clause.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/elim.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/elim.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/init.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/init.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/input.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/input.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/main.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/main.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/solver.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/solver.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/subsume.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/subsume.cpp.o"
  "/home/usr/Desktop/github/sat2021/src/watcher.cpp" "/home/usr/Desktop/github/sat2021/build/CMakeFiles/sat.dir/src/watcher.cpp.o"
  )
set(CMAKE_CXX_COMPILER_ID "GNU")

# The include file search paths:
set(CMAKE_CXX_TARGET_INCLUDE_PATH
  )

# Targets to which this target links.
set(CMAKE_TARGET_LINKED_INFO_FILES
  )

# Fortran module output directory.
set(CMAKE_Fortran_TARGET_MODULE_DIR "")
