Encoding sokoban_opt.lp

Name sokoban_opt.lp
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description
Created 2009-03-21 14:53
Modified 2009-05-09 14:36
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content