Follow us on Tumblr
Follow us on Twitter
Network @ LinkedIn
SAT4J
SAT4J
Project overview
The aim of the SAT4J library is to provide a simple and efficient open
source library of SAT solvers in Java. The SAT4J library targets first
users of SAT "black boxes", willing to embed SAT technologies into their
application without worrying about the details. SAT4J is currently the
most widely deployed SAT framework because of its adoption within the
Eclipse Open platform.
SAT4J is available under both the Eclipse Public License and the GNU
LGPL licence
OW2 SAT4J project home page
| License | Status | Standards implemented |
|---|---|---|
| LGPL | Mature | none |
Project information
| Community | Developers | Users |
|---|---|---|
| SAT4J project home page | SAT4J Forge | Project data sheet not yet available |
| SAT4J mailing lists | Browse SAT4J source on SVN | |
|
Project lead: Daniel Le Berre |
Project tracker not yet available |
SQuAT: Software Quality Assurance and Trustworthiness
See here for a description of OW2 SQuAT programme.| FOSSology analysis | Antepedia report | Sonar | OMM report (Open Maturity Model) |
|---|---|---|---|
| License analysis for SAT4J 2.3.3 |
Antepedia report (CSV) for SAT4J 2.3.0
Antepedia report (HTML) for SAT4J 2.3.0 |
Sonar analysis Sonar analysis (PDF) | OMM report (PDF) |
Professional
| Support | Case studies |
|---|---|
|
Professional support for SAT4J |
Case study: Dependency management for the Eclipse ecosystem |
