Three tar files contributed, 2 compressed, from UCSC.  July 9, 1993

Each is a directory when untarred.  Be sure to use binary mode on ftp.
Cnfparse REPLACES our earlier contributed parser for cnf, and includes
a new program cnfsqueeze.
Cnfgen gives programs and scripts to generate formulas, with careful
attention to producing reproducible and comparable experiments.
See its README for details.

cnf-ssa is a directory of cnf formulas from Larrabee's test pattern
generator.  Each formula is compressed within the directory so you
can "open" a few at a time and conserve disk space.
Again, details in README.

--Allen Van Gelder  avg@cs.ucsc.edu