GRIPP implementation of GRIPP algorithm to solve graph reachability problem Paper GRIPP - Indexing and Querying Graphs based on Pre- and Postorder Numbering