file(REMOVE_RECURSE
  "CMakeFiles/libabcsat.dir/AbcGlucose.cpp.o"
  "CMakeFiles/libabcsat.dir/Glucose.cpp.o"
  "CMakeFiles/libabcsat.dir/SimpSolver.cpp.o"
  "CMakeFiles/libabcsat.dir/satSolver.cpp.o"
  "CMakeFiles/libabcsat.dir/satStore.cpp.o"
  "liblibabcsat.pdb"
  "liblibabcsat.a"
)

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