Tags

Tags give the ability to mark specific points in history as being important

2.2.0

aa8fe738 · Delete last years CakePB · Mar 26, 2024
```
SAT competition 2024.
```
2.1.0

f6db84ec · Change pip install script to compile C++ in release · Mar 25, 2024
```
Version used for papers before the SAT competition 2024.
```

2.0.0

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

Version 2 of the proof format.

Sync up VeriPB version with proof format version.

SAT_competition_2023

4a704a67 · Add SAT competition 2023 documentation · Jul 05, 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

03295742 · Remove resolve from polish notation. · Jun 23, 2022

Version used for the data in the journal version of Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

remove

03295742 · Remove resolve from polish notation. · Jun 23, 2022
AAAI22_camera_ready

37b68c4a · CRITICAL: Fix bug allowing unsound redundancy steps. · Feb 16, 2022