pocket_prover (cargo): A fast, brute force, automatic theorem prover for first order logic
Keywords: first-order|logic|solver|prover