atlasapi/atlas — pull request #280 by fredvdd (2013-06-10 15:34:56+00:00)
Title: Enhance Equivalence Results

* colour strong equiv results
* miniumn edges of equivalence graph