Equivalence of reductions - prototype (SAS'14 paper)

The implementation is available in the following svn repository: http://www.cs.colostate.edu/AlphaZsvn/Development/trunk/mde/org.polymodel.equivalence/ .

The prototype is still regularly updated and might still contains some bugs (in spite of our effort to suppress them). [23/06/14] Moreover, some parts of the implementation is still missing (such as the constraint extraction if we have cycles).

To report bugs or installation issues, please send an email at the following address: guillaume.iooss[-at-]gmail[-dot-]com