SAT4J

SAT4J

Project overview

sat4jlogo.png

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)
not yet available 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

Tags:
Created by Alexandre Lefebvre on 2010/03/08 11:54
Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice