HSolver

I Use This!

Inactive

Analyzed about 2 hours ago. based on code collected about 5 hours 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.

In a Nutshell, HSolver...

...
has had 663 commits made by 4 contributors
representing 6,736 lines of code
...
is mostly written in OCaml
with a very well-commented source code
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 2 years of effort (COCOMO model)
starting with its first commit in March, 2006
ending with its most recent commit over 9 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

:pserver:anonymous:@hsolver.cvs....

Similar Projects:

Managers:

Become the first manager for 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

About Project Vulnerability Report

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
compare projects before you chose one to use
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
anyone with an Open Hub account can update a project's tags

About Project Security