ACoRe: 

Automated Goal-Conflict Resolution