prover9

Ports (2)
  • ladr Library for Automated Deduction Research
  • p9m4 prover9/mace4 GUI