0
I Use This!
Moderate Activity
Analyzed about 3 hours ago. based on code collected about 3 hours ago.

Project Summary

An advanced SAT Solver

Tags

No tags have been added

Badges

In a Nutshell, cryptominisat...

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

Did You Know...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    search using multiple tags to find exactly what you need
About Project Security

Languages

Languages?height=75&width=75
C++
62%
TeX/LaTeX
16%
Python
9%
10 Other
13%

30 Day Summary

Apr 6 2021 — May 6 2021

12 Month Summary

May 6 2020 — May 6 2021
  • 187 Commits
    Down -1274 (87%) from previous 12 months
  • 9 Contributors
    Up + 1 (12%) from previous 12 months