Parallel Sat4J

I Use This!

Activity Not Available

Analyzed 12 months ago. based on code collected over 1 year ago.

Project Summary

This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

In a Nutshell, Parallel Sat4J...

...
has had 5 commits made by 1 contributors
representing 34,327 lines of code
...
is mostly written in Java
with an average number of source code comments
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 9 years of effort (COCOMO model)
starting with its first commit in March, 2008
ending with its most recent commit about 17 years ago

Quick Reference

Homepage

(4 Locations)

Become the first manager for Parallel Sat4J

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
check out hot projects on the Open Hub
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog