This repository contains the code for four versions of the Peers-mcd Theorem Prover, named Peers-mcd.a, Peers-mcd.b, Peers-mcd.c, and Peers-mcd.d.

See their README files for more information.

For further information on Modified Clause-Diffusion see: http://profs.sci.univr.it/~bonacina/distributed.html

For further information on the Clause-Diffusion provers see: http://profs.sci.univr.it/~bonacina/cdprovers.html