Symbolic SCC Identification

Our source code (consisting of two new VIS-1.3 directories) for identifying SCCs and bad cycles is now available: scc.tar. If you have problems installing this code please contact us.