0
I Use This!
Activity Not Available
Analyzed 6 months ago. based on code collected almost 4 years ago.

Project Summary

HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors.

Tags

No tags have been added

In a Nutshell, HSolver...

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
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    anyone with an Open Hub account can update a project's tags
About Project Security

Languages

Languages?height=75&width=75
Haskell
31%
C++
29%
OCaml
28%
7 Other
12%

30 Day Summary

Jun 20 2016 — Jul 20 2016

12 Month Summary

Jul 20 2015 — Jul 20 2016
  • 0 Commits
    Down -5 (100%) from previous 12 months
  • 0 Contributors
    Down -1 (100%) from previous 12 months

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!