file(REMOVE_RECURSE
  "CMakeFiles/tosat.dir/BitBlaster.cpp.o"
  "CMakeFiles/tosat.dir/ToSATBase.cpp.o"
  "CMakeFiles/tosat.dir/AIG/BBNodeManagerAIG.cpp.o"
  "CMakeFiles/tosat.dir/AIG/ToCNFAIG.cpp.o"
  "CMakeFiles/tosat.dir/AIG/ToSATAIG.cpp.o"
  "CMakeFiles/tosat.dir/ASTNode/ClauseList.cpp.o"
  "CMakeFiles/tosat.dir/ASTNode/ASTtoCNF.cpp.o"
  "CMakeFiles/tosat.dir/ASTNode/ToSAT.cpp.o"
)

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