ACoRe:

Automated Goal-Conflict Resolution