Instance cg61-planning.pl.txt

Name cg61-planning.pl.txt
Classes
Submitter Martin Gebser
Author Michael Gelfond and Ricardo Morales and Yuanlin Zhang
Description
Created 2009-07-07 14:01
Modified 2009-07-07 14:01
Languages
Language Features
Compatible Encodings
Output Predicates
  • full/1
  • goal/1
  • jet/1
  • junction/1
  • link/3
  • numValves/1
  • stuck/1
  • tank/1
  • valve/1
Attributes
Content