README 178 B

1234
  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)