attachment:Reachability-ENCODING.txt of OfficialProblemSuite - ASP Competition 2013

welcome:

location: attachment:Reachability-ENCODING.txt of OfficialProblemSuite

Attachment 'Reachability-ENCODING.txt'

   1 reaches(X,Y) :- edge(X,Y).
   2 reaches(X,Y) :- edge(X,Z), reaches(Z,Y).

Attached Files

You are not allowed to attach a file to this page.