Select a tag to browse associated projects and drill deeper into the tag cloud.
ScavengerProver
Analyzed 2 months ago
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.
Licenses:
No declared licenses