README 174 B

12345
  1. LADR includes some mathematical programs like:
  2. prover 9 (automated theorem prover for first-order and equational logic)
  3. mace4 (search for finite models and counterexamples)