*.o
*.od
*.or
*.op
*.swp
*.*~
depend.mk
core/minisat*
simp/minisat*
minicard*/minicard*
