ScavengerProver

I Use This!

Inactive

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

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
you can embed statistics from Open Hub on your site
...
55% of companies leverage OSS for production infrastructure
...
check out hot projects on the Open Hub