Encoding hanoi_tower.enc.asp

Name hanoi_tower.enc.asp
Class Tree
Submitter Barbara Nardi
Author Miroslaw Truszczynski, Shaden Smith and Alex Westlund
Description
Created 2012-04-11 15:39
Modified 2012-04-11 18:31
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content