Ricochet Robots encodings:
--------------------------

Ricochet Robots: A transverse ASP benchmark

Distribution contents:
   README         - this file
   Encodings/     - plain, advanced, optimization, incremental and reactive encodings
   Facts/         - board, goals, robot's initial positions
   Visual/        - needed for visualization with robotviz

Alex Randolph's board game Ricochet Robots offers a rich and versatile benchmark for ASP. As it stands, it represents a simple multi-agent planning problem in which each agent, i.e., robot, has limited sensing capacities (that is, only bumps are detected).

Usage:
------

* plain encoding:
  gringo Facts/board16-1.lp Facts/robots3.lp Facts/goals16-2.lp Encodings/ASP/robotsN.lp -c horizon=7 -c goal=15 | clasp

* advanced encoding:
  gringo Facts/board16-1.lp Facts/robots3.lp Facts/goals16-2.lp Encodings/ASP/robotsMG.lp -c horizon=7 -c goal=15 | clasp

* optimization encoding:
  gringo Facts/board16-1.lp Facts/robots3.lp Facts/goals16-2.lp Encodings/ASP/robotsMG.lp Encodings/oASP/robotsMGopt_add.lp -c horizon=8 -c goal=15 | clasp

* incremental encoding:
  iclingo Facts/board16-1.lp Facts/robots3.lp Facts/goals16-2.lp Encodings/iASP/robotsMG.lp -c goal=15

* online encoding:
  oclingo Facts/board16-1.lp Facts/robots3.lp Encodings/rASP/robotsMG.lp Encodings/rASP/robotsO.lp
  controller.py Encodings/rASP/online.1
