This directory holds files exported by
Hantao Zhang, hzhang@cs.uiowa.edu.

Access to files in this directory, as illustrated
by access to this file, can be obtained from remote
systems in two ways:

by FTP, /pub/hzhang/README on ftp.cs.uiowa.edu
by WWW, ftp://ftp.cs.uiowa.edu/pub/hzhang/README


SUBDIRECTORY        TOPIC
==================================================================
rrl            Rewriting Techniques 
               source codes of various versions of 
                  RRL (Rewrite Rule Labortory), 
               manual of RRL, related papers

sato           Propositional Satisfiability
               source codes of various versions of 
                  SATO (SAtisfiability Testing Optimized), 
               related papers

sem            Model Generation
               source code of SEM (a System for Enumerating Models), 
               related papers

modgen         Model Generation
               source code of ModGen (Model Generation)
               a related paper

misc           Miscellaneous Stuff
================================================================== 

If you have questions/suggestions/problems, please contact 
Hantao Zhang at

      hzhang@cs.uiowa.edu 
or
      Department of Computer Science 
      The University of Iowa
      Iowa City, Iowa 52242