Scavenger

Scavenger

A theorem prover based on the conflict resolution calculus