Project Information

This document provides an overview of the various documents and links that are part of this project's general information. All of this content is automatically generated by Maven on behalf of the project.

Overview

Document Description
About A collection of standard algorithms for handling counterexamples in automata learning
Licenses This document lists the project license(s).
Team This document provides information on the members of this project. These are the individuals who have contributed to the project in one form or another.
Mailing Lists This document provides subscription and archive information for this project's mailing lists.
Source Code Management This document lists ways to access the online source repository.
Issue Management This document provides information on the issue management system used in this project.
CI Management This document lists the continuous integration management system of this project for building and testing code on a frequent, regular basis.
Dependencies This document lists the project's dependencies and provides information on each dependency.
Dependency Information This document describes how to include this project as a dependency using various dependency management tools.