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

Tags

ai automated first-order fol logic prover reasoning sat

In a Nutshell, ScavengerProver...

Quick Reference

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

Languages

Scala
98%
2 Other
2%

30 Day Summary

May 19 2026 — Jun 18 2026

12 Month Summary

Jun 18 2025 — Jun 18 2026