MacOS compile problems
VeriPB won't build on MacOS 12. I'm not sure how helpful this is, but:
https://github.com/ciaranm/glasgow-constraint-solver/actions/runs/4254118479/jobs/7399916740
It looks like veripb/optimized/constraints.hpp:3066 and possibly other places compare an int to a uint, without explicitly converting.
I don't have a Mac for development myself, so I don't have a good way of checking how to fix this or finding subsequent errors, but I can trigger new Github actions builds just to see whether a fix works, if that's of any help...