Cleanup of prover9, mace4 and ladr from William McCune
Primary LanguageC
This repository is not active