Instance cg03-leaking.pl.txt

Name cg03-leaking.pl.txt
Classes
Submitter Martin Gebser
Author Michael Gelfond and Ricardo Morales and Yuanlin Zhang
Description
Created 2009-04-09 16:58
Modified 2009-04-09 16:58
Languages
Language Features
Compatible Encodings
Output Predicates
  • full/1
  • goal/1
  • jet/1
  • junction/1
  • leaking/1
  • link/3
  • numValves/1
  • tank/1
  • valve/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content