Thank you for this amazing package!
With the mini! environment, each constraint gets its own label (2a), (2b), (2c), ... Is it also possible to have increasing integer labels for each constraint? So then it would be (2), (3), (4), ...
If it's not possible, I think it would be nice to have this as a new feature as this seems to be commonly used in the literature.