Instance dimitri_yorick.54.steps.12.lp

Name dimitri_yorick.54.steps.12.lp
Classes
Submitter Martin Gebser
Author Wolfgang Faber
Description
Created 2009-03-10 17:43
Modified 2009-03-10 17:43
Languages
Language Features
Compatible Encodings
Output Predicates
  • box/1
  • next/2
  • right/2
  • sokoban/1
  • solution/1
  • step/1
  • top/2
  • ASP Contest 09 (Martin Gebser)
Attributes
Content