OKullmann/oklibrary — pull request #352 by MGwynne (2012-02-08 11:04:22+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.

Matthew