Tags

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

2.3.0

9dbb658f · Bump version number; Update CHANGELOG.md · Jun 03, 2025
2.2.2

765fa91e · Add explanation why elaboration of implication with subsitution is working · Aug 09, 2024

Release: Version 2.2.2
2.2.1

62f78fd4 · Change default VeriPB version · Jul 09, 2024

Release: Version 2.2.1
2.2.0

aa8fe738 · Delete last years CakePB · Mar 26, 2024

Release: Version 2.2.0 (SAT competition 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

Release: Version 2.0.0 (SAT competition 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