Parent Project
Modules
- LearnLib :: Utilities :: Abstract Counterexamples
- LearnLib :: Utilities :: Counterexamples
- LearnLib :: Utilities :: Parallelism
Project Documentation
Parent module for LearnLib utilities
This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Utilities :: Abstract Counterexamples | An abstract counterexample analysis framework |
| LearnLib :: Utilities :: Counterexamples | A collection of standard algorithms for handling counterexamples in automata learning |
| LearnLib :: Utilities :: Parallelism | Support for parallelizing membership queries |