Certificate Generation

The mechanism of producing a verifiable artifact (certificate) — such as a proof object, proof trace, witness, interpolant or replayable trace — that attests to the correctness of a solver's claim and can be independently checked by a verifier.