Cleanup of prover9, mace4 and ladr from William McCune
Primary LanguageC
No issues in this repository yet.