Encoding sokoban_decision.enc.asp

Name sokoban_decision.enc.asp
Class Tree
Submitter Barbara Nardi
Author Wolfgang Faber
Description
Created 2012-04-12 11:26
Modified 2012-04-12 11:26
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content