REQUIRED/RECOMMENDED PROGRAMS
=============================

- gringo:
  version 2.0.2 (or later) available at
  http://sourceforge.net/project/showfiles.php?group_id=238741

- clasp (without projection):
  version 1.1.3 available at
  http://sourceforge.net/project/showfiles.php?group_id=238741

- clasp (with projection):
  forthcoming version 1.2.0 will provide option '--project';
  preliminary version available at
  http://potassco.svn.sourceforge.net/viewvc/potassco/branches/projection/

USAGE
=====

Enter directory 'Projection'. Run benchmarks (grouped by classes) as follows:

- Pigeon-Hole:
  gringo -c pigeons=<num> -c holes=<num> -c observe=<num> Pigeons/pigeons.lp \
  | clasp 0 [-q] [--project]

- Queens:
  gringo -c queens=<num> -c observe=<num> Queens/queens.lp \
  | clasp 0 [-q] [--project]

- Clumpy:
  gringo Clumpy/clumpy.lp Clumpy/Instances/<file> \
  | clasp 0 [-q] [--project]

- Repair:
  gringo Repair/repair.lp Repair/Instances/<file> \
  | clasp 0 [-q] [--project]

- Labyrinth:
  gringo Labyrinth/labyrinth.lp Labyrinth/Instances/<file> \
  | clasp 0 [-q] [--project]

(Option '-q' of clasp suppresses the printing of answer sets on the screen.
 Using option '-q' saves a lot of I/O time, e.g., useful for benchmarking.)
