Feature request: Fancy output coloring
The output coloring of VeriPB could be improved if it would use different colours for
- ConstraintIDs
- Integers
- Variables
And do this consistently, not only in the derived constraints, but also in all p-statements etcetera.