Analyzed
about 13 hours
ago.
based on code collected
1 day
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...
- ...
- ...
- ...
-
...
took an estimated 2 years of effort (COCOMO model)
starting with its first commit in September, 2010
ending with its most recent commit about 3 years ago
Quick Reference
https://gitlab.com/AOSSIE/Scaven...
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
55% of companies leverage OSS for production infrastructure
-
...
compare projects before you chose one to use
-
...
65% of companies leverage OSS to speed application development in 2016
-
...
you can embed statistics from Open Hub on your site
30 Day SummaryApr 4 2024 — May 4 2024
|
12 Month SummaryMay 4 2023 — May 4 2024
|
