build
*.o
*.a
makefile
build.h
kissat
tissat
*.gcno
*.gcda
*.gcov
gmon.out
*~
