2.0.0

Andy Oertel

@aoer

58927211 · Add selflogging for stronger implication check · Jul 10, 2023

Release: Version 2.0.0 (SAT competition 2023)

Version 2 of the proof format.

Sync up VeriPB version with proof format version.