Repository to reproduce results for Revisiting Pseudo-Boolean Encodings from an Integer Perspective (CPAIOR'25) (also available on https://zenodo.org/records/14500064) - View it on GitHub