/build
cmake-build*
*.o
*.a
makefile
build.h
kissat
tissat
*.gcno
*.gcda
*.gcov
gmon.out
*~
site
venv
/.venv*
*log
verify-task/log_*
