-*- 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>

C-Vise was written by Moritz Pflanzer and Martin Liška

  Moritz Pflanzer <moritz@pflanzer.eu>
  Martin Liška <marxin.liska@gmail.com>
