1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
# ignore common build directories
/cmake-build
/build
# CMake generated files
CMakeFiles/
CMakeCache.txt
cmake_install.cmake
CTestTestfile.cmake
DartConfiguration.tcl
compile_commands.json
# ignore TPTP directories/symlinks at the top level
/Problems
/Axioms
tptp
# ctags
tags
# Callgrind?
.kdbgrc.vampire*
callgrind.out.*
valgrind.supp
# Mac things?
._*
.DS_Store
.cproject
.project
.vscode/
.settings/
# Problem files
*.p
# Don't ignore problem files under the checks folder's subdirs
!checks/**/*.p
*.tptp
*.txt
*.smt2
*.cnf
tags
cmake-build
.exrc
.clang-format
.clangd
.lldbinit
# vim swap files
**/.*.swp
**/.*.swo
.ccls-cache
.cache/