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