ChrisSalij/Fourth-Year-Project — Issue #4: node equivalence plus
Author: ChrisSalij
Created: 2011-10-19 12:49:00+00:00
State: open

This is the same as testing node equivalence, however with the ability of substituting expressions in for single variables.