Sat4j

Sat4j is a library aiming at providing 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/
News
Twittersat4j
Project leader(s)

Daniel Le Berre

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

- type: git
  web: https://gitlab.ow2.org/sat4j

Issue tracker URLhttps://gitlab.ow2.org/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/

Releases/Downloads
SonarQubesat4j
OpenHuborg_sat4j
JIRASAT
Open Maturity Model
omm
Average OMM score by category
Metrics filemetrics.json
License# ReferencesSource
LGPL 2.1 or later526ScanCode
Public Domain1ScanCode
LGPL 2.0 or later2097ScanCode
EPL 1.0527ScanCode
GPL 2.0 or later514ScanCode
GPL 1.0 or later1ScanCode
LGPL 2.11ScanCode
MIT License17ScanCode
923 files analyzed, 535 of them refer at least one license
MetricValueTypeSource
Issue report165INTStamp-Descartes
Alert statusERRORLEVELSonarQube
Blocker violations6INTSonarQube
Branch coverage46.6PERCENTSonarQube
Bugs5INTSonarQube
Class complexity18.1FLOATSonarQube
Classes485INTSonarQube
Code smells1700INTSonarQube
Cognitive complexity6052INTSonarQube
Comment lines7807INTSonarQube
Comment lines density15.0PERCENTSonarQube
Complexity8771INTSonarQube
Complexity in classes8771INTSonarQube
Complexity in functions8507INTSonarQube
Conditions to cover8795INTSonarQube
Confirmed issues0INTSonarQube
Coverage42.1PERCENTSonarQube
Critical violations377INTSonarQube
Development cost1332090STRINGSonarQube
Directories37INTSonarQube
Duplicated blocks277INTSonarQube
Duplicated files88INTSonarQube
Duplicated lines5574INTSonarQube
Duplicated lines density7.1PERCENTSonarQube
Effort to reach maintainability rating a0WORK_DURSonarQube
False positive issues6INTSonarQube
File complexity17.7FLOATSonarQube
File complexity distribution0=177;5=101;10=82;20=48;30=54;60=20;90=14DISTRIBSonarQube
Files502INTSonarQube
Function complexity1.6FLOATSonarQube
Function complexity distribution1=3466;2=789;4=253;6=112;8=54;10=34;12=32DISTRIBSonarQube
Functions5245INTSonarQube
Info violations202INTSonarQube
Last commit date1544898971000MILLISECSonarQube
Line coverage40.4PERCENTSonarQube
Lines78976INTSonarQube
Lines to cover23222INTSonarQube
Major violations631INTSonarQube
Minor violations489INTSonarQube
Ncloc44403INTSonarQube
Ncloc language distributionjava=43747;xml=656DATASonarQube
Open issues1705INTSonarQube
Reliability rating3.0RATINGSonarQube
Reliability remediation effort35WORK_DURSonarQube
Reopened issues0INTSonarQube
Security rating1.0RATINGSonarQube
Security remediation effort0WORK_DURSonarQube
Skipped tests1INTSonarQube
Sqale debt ratio1.5PERCENTSonarQube
Sqale index19325WORK_DURSonarQube
Sqale rating1.0RATINGSonarQube
Statements19139INTSonarQube
Test errors0INTSonarQube
Test execution time1660501MILLISECSonarQube
Test failures0INTSonarQube
Test success density100.0PERCENTSonarQube
Tests2848INTSonarQube
Uncovered conditions13850INTSonarQube
Violations1705INTSonarQube
Vulnerabilities0INTSonarQube
Wont fix issues12INTSonarQube
MetricValueSource
OpenHub activity score0OpenHub
OpenHub one year contributor count4OpenHub
OMM configuration management0omm
OMM project planning4omm
OMM requirements2omm
OMM roadmap2omm
OMM stakeholders7omm
Choose a Risk Model:
info
riscoss-small.png
Loading...








-
Feedback
Indicators Computed Score
License risk
ValueNormalized
Unique license8
Ratio no license42%
OMM License Indicator2
Quality risk
ValueNormalized
Blocker issues6
Critical issues377
Test coverage42.1
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 activity0
OpenHub contributor count (1 year)4
OMM configuration management0
OMM project planning4
OMM requirements2
OMM roadmap2
OMM stakeholders7