file(REMOVE_RECURSE
  "CMakeFiles/sat.dir/src/blocked.cpp.o"
  "CMakeFiles/sat.dir/src/clause.cpp.o"
  "CMakeFiles/sat.dir/src/elim.cpp.o"
  "CMakeFiles/sat.dir/src/init.cpp.o"
  "CMakeFiles/sat.dir/src/input.cpp.o"
  "CMakeFiles/sat.dir/src/main.cpp.o"
  "CMakeFiles/sat.dir/src/solver.cpp.o"
  "CMakeFiles/sat.dir/src/subsume.cpp.o"
  "CMakeFiles/sat.dir/src/watcher.cpp.o"
  "sat"
  "sat.pdb"
)

# Per-language clean rules from dependency scanning.
foreach(lang CXX)
  include(CMakeFiles/sat.dir/cmake_clean_${lang}.cmake OPTIONAL)
endforeach()
