./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