search

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92 stars 34 forks source link

SCC fix #11

Closed mgeske closed 9 years ago

mgeske commented 9 years ago

Fixed bug in SCC algorithm and contributed SCC test.