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.


AboutThe 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.
Source RepositoryThis is a link to the online source repository that can be viewed via a web browser.
Project LicenseThis is a link to the definitions of project licenses.
Issue TrackingThis 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 ListsThis document provides subscription and archive information for this project's mailing lists.
Project TeamThis document provides information on the members of this project. These are the individuals who have contributed to the project in one form or another.
DependenciesThis document lists the project's dependencies and provides information on each dependency.