Instance Class ASP Contest 09 (Reachability)

Class Tree
Description The graphs in this class have been supplied for the 2nd ASP competition.
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • edge/2
  • query/2
Instances
1 - 9 of 9