0
I Use This!
Activity Not Available
Analyzed 3 months ago. based on code collected 9 months ago.

Project Summary

Message from the owner(s)
SirHCA v.1.0 is a little engine of proof written in Java. SQA was ensured using JUnit and JProfiler. SirHCA deals with the empty theory, the theory of list a la Shostak and the theory of encryption using graph-based deduction. The originality of SirHCA lies in its graphical user interface that pictures the graph at each step of the transformation process and permits its educational use.

Tags

java javadesktop

In a Nutshell, sirhca...

 No recognizable code

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has code locations but that location contains no recognizable source code for Open Hub to analyze.

GNU General Public License v3.0 only
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Use Patent Claims

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Install Instructions

These details are provided for information only. No information here is legal advice and should not be used as such.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    check out hot projects on the Open Hub

 No recognizable code

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has code locations but that location contains no recognizable source code for Open Hub to analyze.

Community Rating

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