ScavengerProver

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 2 days ago.

Project Summary

Scavenger is an automated theorem prover based on the new conflict resolution calculus,
which lifts some aspects of the conflict-drive clause learning approach used by sat-solvers to
logics with quantifiers.

In a Nutshell, ScavengerProver...

...
has had 2,200 commits made by 20 contributors
representing 5,200 lines of code
...
is mostly written in Scala
with an average number of source code comments
...
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 September, 2010
ending with its most recent commit over 5 years ago

Quick Reference

Project Links:

Homepage
Download

Code Locations:

https://gitlab.com/AOSSIE/Scaven...

Similar Projects:

Managers:

Ceilican

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
check out hot projects on the Open Hub
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
data presented on the Open Hub is available through our API