-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
.gitignore
106 lines (101 loc) · 4.26 KB
/
.gitignore
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
# Lookup, Storage & Script Files
**/*.txt
**/*.log
**/*.svg
**/*.7z
**/*.mm
**/*.sh
**/*.bat
**/*.reg
**/*.json
**/*.ini
# Sciebo temporary files
**/*.~*
# Eclipse files
.cproject
.project
.settings/
# Visual Studio files
.vs/
*.sln
*.vcxproj*
# Non-development (or currently unused) directories
icon/*
!icon/icon.ico
!icon/icon.rc
!icon/icon-readme.png
data/*
!data/pmproofs.txt
!data/pmproofs-old.txt
!data/cardinalities.txt
!data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/
data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/*
!data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/\!.def
!data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/\!.conf
!data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/top1000SmallestConclusions_*Steps.txt
!data/top1000SmallestConclusions_*Steps.txt
!data/m.txt
!data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/
data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/*
!data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/cardinalities.txt
!data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/\!.def
!data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/top1000SmallestConclusions_*Steps.txt
!data/w1.txt
!data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/
data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/*
!data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/cardinalities.txt
!data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/\!.def
!data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/top1000SmallestConclusions_*Steps.txt
!data/w2.txt
!data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/
data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/*
!data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/cardinalities.txt
!data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/\!.def
!data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/top1000SmallestConclusions_*Steps.txt
!data/w3.txt
!data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/
data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/*
!data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/cardinalities.txt
!data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/\!.def
!data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/top1000SmallestConclusions_*Steps.txt
!data/w4.txt
!data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/
data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/*
!data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/cardinalities.txt
!data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/\!.def
!data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/top1000SmallestConclusions_*Steps.txt
!data/w5.txt
!data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/
data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/*
!data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/cardinalities.txt
!data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/\!.def
!data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/top1000SmallestConclusions_*Steps.txt
!data/w6.txt
!data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/
data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/*
!data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/cardinalities.txt
!data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/\!.def
!data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/top1000SmallestConclusions_*Steps.txt
!data/s5proofs.txt
!data/s5.txt
!data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/
data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/*
!data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/cardinalities.txt
!data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/\!.def
!data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/\!.conf
!data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/top1000SmallestConclusions_*Steps.txt
!data/empty.txt
!data/dProofs-with*/
!data/dProofs-with*/dProofs*.7z
!data/plot/
!data/plot/*plot_data*.txt
log/**/*.*
!log/**/jobsRSS.txt
!log/**/*.log
svg/**/*.*
!svg/**/*.svg
Debug*/
Release*/
# Non-development (or currently unused) files
__dependency_graph.dot.py
cppclean.py