prover9

Automated theorem prover for first-order and equational logic

brewmacoslinux

Try with needOr install directly

About

Automated theorem prover for first-order and equational logic

prover9mace4

Prove a simple theorem from premises$ prover9 < input.txt

Search for finite models satisfying given formulas$ mace4 -n 10 < input.txt

Run prover9 with time limit of 60 seconds$ prover9 -t 60 < theorem.txt