/test/spass/
../
.depend
AUTHORS
COPYING
LICENSE.TXT
Makefile
README
VERSIONHISTORY
analyze.c
analyze.h
approx.h
clause.c
clause.h
clock.c
clock.h
closure.c
closure.h
cnf.c
cnf.h
component.c
component.h
condensing.c
condensing.h
context.c
context.h
defs.c
defs.h
dfg.h
dfgparser.c
dfgparser.h
dfgscanner.c
doc-proof.c
doc-proof.h
flags.c
flags.h
foldfg.c
foldfg.h
graph.c
graph.h
hash.c
hash.h
hasharray.c
hasharray.h
ia.h
iaparser.c
iaparser.h
iascanner.c
kbo.c
kbo.h
list.c
list.h
memory.c
memory.h
misc.c
misc.h
options.c
options.h
order.c
order.h
partition.c
partition.h
problem.dfg
proofcheck.c
proofcheck.h
ras.h
renaming.c
renaming.h
resolution.c
resolution.h
rpos.c
rpos.h
rules-inf.c
rules-inf.h
rules-red.c
rules-red.h
rules-sort.c
rules-sort.h
rules-split.c
rules-split.h
rules-ur.c
rules-ur.h
search.c
search.h
sharing.c
sharing.h
small_problem.dfg
sort.c
sort.h
st.c
st.h
stack.c
stack.h
strings.c
stringsx.h
subst.c
subst.h
subsumption.c
subsumption.h
symbol.c
symbol.h
table.c
table.h
tableau.c
tableau.h
term.c
term.h
terminator.c
terminator.h
top.c
unify.c
unify.h
vector.c
vector.h