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 The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.
Dependencies This document lists the project's dependencies and provides information on each dependency.
Issue Tracking This is a link to the issue management system for this project. Issues (bugs, features, change requests) can be created and queried using this link.
Mailing Lists This document provides subscription and archive information for this project's mailing lists.
Project License This is a link to the definitions of project licenses.
Project 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 Repository This is a link to the online source repository that can be viewed via a web browser.