This project uses Travis CI.
The following is a link to the continuous integration system used by the project:
https://travis-ci.org/LearnLib/learnlib
No notifiers are defined. Please check back at a later date.