roveac
ROVEaC package This package includes modules for counterexample checking and Ramsey graph analysis.