There are several files here associated with Mothra and mutation.
   Eq.tar.Z   -- A set of fortran programs, with a list of mutants that
                 have been identified to be equivalent.
   kmothra    -- An interface to the Mothra tool set that is written in
                 the "korn-shell".  Does not include Godzilla.
   bdemo      -- Similar to kmothra, but in Bourne-shell.
   equalizer.tar.Z  -- The source files for Equalizer, a program that determines
                       some mutants to be equivalent.  Should be placed in
                       the main mothra tools directory ... uses mothra's library.
   mut_tools_gz.tex -- An assignment I have given out in a graduate course.
                       Includes a brief description of how to use the various
                       tools directly (bypassing the interface).

Jeff Offutt