Quantomatic is a tool for doing automated graph rewriting.