Encoding 15-puzzle.dlv

Name 15-puzzle.dlv
Class Tree
Submitter Martin Gebser
Author n/a
Description
Created 2009-03-30 13:03
Modified 2009-03-09 18:52
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • entry/1
  • in0/3
  • maxtime/1
  • pos/1
  • time/1
Output Predicates
  • move/3
Encoding Parameter
    Standalone Help No
    Attributes
    Content