-
-
2.1.0
Version used for papers before the SAT competition 2024.
-
2.0.0 Release: 2.0.0 (SAT competition 2023)
Version 2 of the proof format. Sync up VeriPB version with proof format version.
-
SAT_competition_2023
VeriPB was committed as a checker to the SAT competition 2023. This tag reflects the state of VeriPB as it was used as a checker in the SAT competition.
-
parity_journal
Version used for the data in the journal version of Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs
-
-