The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Issue when removing unit propagated literals with a PB constraint
It looks like adding a constraint which propagates it's literals (e.g. x1+x2+2*x3>=4) then the constraint cannot be removed.
The issue was reported by Vasco Manquinho's team.