About

Last Published: 2013-04-19 | Version: 2.3.4

Parent Project

SAT4J

Project Documentation

Project Information
- About
- Source Repository
- Project License
- Issue Tracking
- Mailing Lists
- Project Team
- Dependencies
Project Reports

About SAT4J core

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.