Module de.learnlib.setting


module de.learnlib.setting
This module provides a collection of utility methods to parse LearnLib specific settings.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>de.learnlib</groupId>
   <artifactId>learnlib-settings</artifactId>
   <version>${version}</version>
 </dependency>