LearnLib/learnlib — pull request #16 by stovocor (2014-02-04 13:08:45+00:00)
Title: Improved performance of BaselineLStar

BaselineLStar is now 3-5 times faster.