LearnLib/learnlib — pull request #15 by misberner (2014-01-29 11:53:41+00:00)
Title: Algorithm features

Pull request due to accidental commit to wrong branch