Crate drcp_format 

This crate handles the reading and writing of proofs produced by Pumpkin.

For reading/parsing of proofs, use the reader module. To write proofs to string use the writer module.

Modules

reader

Proofs can be read using a ProofReader. It reads the proof line-by-line, and can be thought of as an Iterator over Step.

writer

Implements the writing of DRCP files.

Structs

Deduction

An deduction step.

Inference

An inference step.

IntAtomic

An integer atomic constraint of the form [name op value], where op is an IntComparison.

Enums

Conclusion

The conclusion of the proof. This is the final line, and a proof without a conclusion can be considered incomplete. All steps after the conclusion can be ignored.

IntComparison

Step

An individual proof step from the proof.

Traits

IntValue

A contract that must be observed for the value in an IntAtomic.

Type Aliases

ConstraintId

The ID of a proof step.