******************************************************************************
 *                           FuzzASP                                          *
 ******************************************************************************

  This is a release of FuzzASP, which is a fuzzer for answer set solver
  development. The fuzzer has been designed to be customizable. Therefore,
  there are many command line options available. You should experiment with
  them in order to adjust the fuzzer to your needs.  Call the fuzzer with
  '-h' to get an overview of the available options. Each option has a default
  value, so you do not have to adjust all of them. FuzzASP is released under 
  GPL. A copy of the license can be found in the file COPYING.

  If you have comments, questions, improvements or bug reports, then just
  send them to my mail address: robert.brummayer@gmail.com 
  I will try to answer your mails as soon as possible.

  Robert