Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive
Analyzed about 2 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.

Tags

ai automated first-order fol logic prover reasoning sat

In a Nutshell, ScavengerProver...

Quick Reference

Project Links:

Download
Code Locations:
https://gitlab.com/AOSSIE/Scaven...
Similar Projects:
Managers:
Ceilican

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    data presented on the Open Hub is available through our API
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    search using multiple tags to find exactly what you need

Code

Lines of Code

Activity

Commits per Month

Community

Languages

Scala 		98%
2 Other 		2%

30 Day Summary

May 21 2026 — Jun 20 2026

12 Month Summary

Jun 20 2025 — Jun 20 2026

Most Recent Contributors

Vlad ...zenlogel Paleo
itegulov Daniyar Itegulov
vlad107 Vlad Podtelkin

Ratings

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