/build
*.o
*.a
makefile
build.h
kissat
tissat
*.gcno
*.gcda
*.gcov
gmon.out
*~
site
venv
/.venv*
*log
