FILE(REMOVE_RECURSE
  "CMakeFiles/minisat-lib-static.dir/minisat/utils/Options.cc.o"
  "CMakeFiles/minisat-lib-static.dir/minisat/utils/System.cc.o"
  "CMakeFiles/minisat-lib-static.dir/minisat/core/Solver.cc.o"
  "CMakeFiles/minisat-lib-static.dir/minisat/simp/SimpSolver.cc.o"
  "libminisat.pdb"
  "libminisat.a"
)

# Per-language clean rules from dependency scanning.
FOREACH(lang CXX)
  INCLUDE(CMakeFiles/minisat-lib-static.dir/cmake_clean_${lang}.cmake OPTIONAL)
ENDFOREACH(lang)
