Tags

AAAI26

This is the commit used for the AAAI-26 paper titled "Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables".

3.0.1

3.0.0

First release of VeriPB rewritten in Rust.

2.3.0

2.2.2

2.2.1

2.2.0

SAT competition 2024.

2.1.0

Version used for papers before the SAT competition 2024.

2.0.0

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

AAAI22_camera_ready