OKullmann/oklibrary — pull request #358 by MGwynne (2012-02-14 14:33:26+00:00)
Title: Ephp proof

Branch: ephp_proof.

Adding the resolution refutation of Cook's extended pigeon-hole formulas, along with the functions necessary to do this.

Further plans have been moved in the branch "ephp_proof_plans", to try and make this pull request as short as possible.

Also added standardised clause-sets for EPHP and output functions for these clause-sets.

Matthew