Project Modules

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