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.
30 Day SummaryMay 21 2026 — Jun 20 2026
|
12 Month SummaryJun 20 2025 — Jun 20 2026
|