./release
./release-excludes
./TODO
./CVS
./solvers/CVS
./solvers/Linux/CVS
./solvers/SunOS/CVS
./examples/CVS
./ccsat.in
./ccsat.out
./ccsat.out2
./ccsat.compact.info
./ccsat.compact.vartable
./ccsat.compacted
./mchaff-opts.smj
./examples/ccsat.in
./examples/ccsat.out
./examples/ccsat.out2
./examples/ccsat.compact.info
./examples/ccsat.compact.vartable
./examples/ccsat.compacted
./examples/mchaff-opts.smj
./temp
