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
|
Makefile.vars
Makefile.dependencies
include/
EXTERNAL/CSSCPA_filter
PROVER/checkproof
PROVER/classify_problem
PROVER/direct_examples
PROVER/e_axfilter
PROVER/e_client
PROVER/e_deduction_server
PROVER/e_ltb_runner
PROVER/e_server
PROVER/edpll
PROVER/eground
PROVER/ekb_create
PROVER/ekb_delete
PROVER/ekb_ginsert
PROVER/ekb_insert
PROVER/enormalizer
PROVER/epclanalyse
PROVER/epclextract
PROVER/epcllemma
PROVER/eprover
PROVER/termprops
PROVER/tsm_classify
SIMPLE_APPS/ex_commandline
SIMPLE_APPS/term2dag
TEST/cl_test
TEST/patterntest
*.o
*~
*.gch
*.pch
*.a
*.exe
*.out
*.csv
*.zip
*.tar.gz
*.tar
*.err
out*
*.dSYM/
*.csv
cachegrind*
callgrind*
._*
.DS_Store
.DS_Store?
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db
./vscode/*
./vscode*
# Executable directory
EXECDIR/
# Prover
PROVER/e_stratpar
# Picosat files
CONTRIB/picosat-965/*
# Build and setup files
setup.sh
build.sh
|
