Encoding solitaire_chk.lp

Name solitaire_chk.lp
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description
Created 2009-03-27 12:58
Modified 2009-03-27 12:58
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content