shivamvats/egraphs

experience graphs for SBPL

E-graphs

This is a catkinized fork of E-Graphs, from the SBPL lab at CMU. The original source can be found at https://sbpl.pc.cs.cmu.edu/redmine/projects/e-graphs/wiki