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 property oracles |
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. |
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. |