Subgraph application of simprocs
hmillerbakewell opened this issue · comments
Specify a subgraph to apply a simproc to.
Quantomatic is a tool for doing automated graph rewriting.
hmillerbakewell opened this issue · comments
Specify a subgraph to apply a simproc to.