-*- mode: Text -*-

C-Reduce was written by Yang Chen, Eric Eide, and John Regehr at the
University of Utah.

  Yang Chen <chenyang@cs.utah.edu>
  Eric Eide <eeide@cs.utah.edu>
  John Regehr <regehr@cs.utah.edu>
