0
I Use This!
Very Low Activity
Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

Support for reasoning on Clafer models by instantiation and counter example generation.

Tags

No tags have been added

In a Nutshell, claferIG...

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...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    check out hot projects on the Open Hub
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    anyone with an Open Hub account can update a project's tags
About Project Security

Languages

Haskell
74%
Java
23%
Make
3%

30 Day Summary

Jan 19 2025 — Feb 18 2025

12 Month Summary

Feb 18 2024 — Feb 18 2025
  • 0 Commits
    Down -2 (100%) from previous 12 months
  • 0 Contributors
    Down -1 (100%) from previous 12 months