I introduced the removal of redundant generated constraints per GIPSL constraint in this PR: https://github.com/Echtzeitsysteme/gips/pull/346 This issue is a reminder to implement this globally. I.e., redundant constraints should be removed regardless of their GIPSL constraint affiliation.
I introduced the removal of redundant generated constraints per GIPSL constraint in this PR: #346
This issue is a reminder to implement this globally. I.e., redundant constraints should be removed regardless of their GIPSL constraint affiliation.