*.d
*.o
minisat
minisat_core
config.mk
lib*.a
lib*.so*
