SAT4J

The aim of the SAT4J library is to provide a simple and efficient open source library of SAT solvers in Java.
sat4j_logo.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.

Web sitehttp://www.sat4j.org/
Project leader(s)

Daniel Le Berre

FunctionalityMiddleware framework / Component / Tool
StatusMature
License(s)GNU Lesser General Public License v2.1 only
VCS repository(ies)

- type: svn
  web: http://forge.ow2.org/projects/sat4j/

Discussion channels

http://mail.ow2.org/wws/lists/projects/sat4j

Professional case studies

- Dependency management for the Eclipse ecosystem

Professional support

http://www.cril.fr/

FOSSologyupload=96&item=396972
SonarQubesat4j
GForgesat4j
OpenHuborg_sat4j
JIRASAT
Open Maturity Model
SAT4J OMM
Average OMM score by category
Metrics filemetrics.json
LicenseFile countSource
LGPL-2.1+200FOSSology
EPL-1.0200FOSSology
Dual-license199FOSSology
No_license_found22FOSSology
MIT7FOSSology
MIT-style1FOSSology
Total files count: 222
MetricValueSource
Lines76,829SonarQube
Ncloc42,430SonarQube
Classes488SonarQube
Files508SonarQube
Directories49SonarQube
Functions4,961SonarQube
Accessors159SonarQube
Statements18,443SonarQube
Public API4,360SonarQube
Comment lines7,761SonarQube
Comment lines density15.5%SonarQube
Public documented API density27.1%SonarQube
Public undocumented API3,178SonarQube
Complexity9,713SonarQube
Class complexity19.9SonarQube
Function complexity1.9SonarQube
File complexity19.1SonarQube
Function complexity distributionSonarQube
File complexity distributionSonarQube
Tests2,229SonarQube
Test execution time8:29 minSonarQube
Test errors0SonarQube
Skipped tests0SonarQube
Test failures0SonarQube
Test success density100.0%SonarQube
Coverage46.2%SonarQube
Lines to cover18,711SonarQube
Uncovered lines9,917SonarQube
Line coverage47.0%SonarQube
Conditions to cover8,631SonarQube
Uncovered conditions4,780SonarQube
Branch coverage44.6%SonarQube
Duplicated lines5,459SonarQube
Duplicated blocks254SonarQube
Duplicated files80SonarQube
Duplicated lines density7.1%SonarQube
Violations59SonarQube
Blocker violations0SonarQube
Critical violations0SonarQube
Major violations25SonarQube
Minor violations0SonarQube
Info violations34SonarQube
DsmSonarQube
Package cycles20SonarQube
Package tangle index5.6%SonarQube
Package tangles33SonarQube
Package feedback edges12SonarQube
Package edges weight1,182SonarQube
Quality profilesSonarQube
Complexity in functions9,519SonarQube
False positive issues0SonarQube
Open issues59SonarQube
Reopened issues0SonarQube
Confirmed issues0SonarQube
Sqale index4d 7hSonarQube
Ncloc language distributionSonarQube
Sqale ratingASonarQube
Development costSonarQube
Sqale debt ratio0.2%SonarQube
MetricValueSource
OpenHub activity score1OpenHub
OpenHub one year contributor count3OpenHub
OMM configuration management0SAT4J OMM
OMM project planning4SAT4J OMM
OMM requirements2SAT4J OMM
OMM roadmap2SAT4J OMM
OMM stakeholders7SAT4J OMM
Choose a Risk Model:
info
riscoss-small.png
Loading...








-
Feedback
Indicators Computed Score
License risk
ValueNormalized
Unique license6
Ratio no license10%
OMM License Indicator2
Quality risk
ValueNormalized
Blocker issues0
Critical issues0
Test coverage46.2%
Test success100.0%
OMM documentation9
OMM standards3
OMM testing process2
OMM software environment3
OMM commits and bug reports4
OMM maintainability and stability3
Activeness risk
ValueNormalized
OpenHub activity1
OpenHub contributor count (1 year)3
OMM configuration management0
OMM project planning4
OMM requirements2
OMM roadmap2
OMM stakeholders7