Encoding sokoban_decision.gringo

Name sokoban_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Sokoban.
Created 2009-03-10 17:52
Modified 2009-05-11 19:25
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • box/1
  • next/2
  • right/2
  • sokoban/1
  • solution/1
  • step/1
  • top/2
Output Predicates
  • push/4
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content