ladr: LADR
ladr:
ladr: LADR (Library for Automated Deduction Research) is command-line
ladr: versions of Prover9, Mace4, and other programs. Prover9 is an
ladr: automated theorem prover for first-order and equational logic, and
ladr: Mace4 searches for finite models and counterexamples
ladr:
ladr:
ladr: remember to set the PROVER9HOME environment variable to
ladr: /usr/share/prover9/bin.
ladr: