Properly renamed learnlib-lstar
DHC tests: minor warning fix, minor increase in test coverage (1 line, hopefully!)
Added Sonatype OSS Snapshots to archetype POMs (fixes integration tests in Maven >=3.0.4)
Used new alphabet API
added readme
added readme
added readme
[maven-release-plugin] prepare release learnlib-parent-0.9.0
[maven-release-plugin] prepare for next development iteration
Bumped version to 0.9.1-SNAPSHOT
Merge commit '9e2c9b7' into develop
Added convenience classes to core; added missing license headers
Added missing license headers
Added missing license headers, added specific DFA/Mealy classes for saving generic arguments, added SUL cache
Merge branch 'develop' into reuse