ACoRe: Automated Goal-Conflict Resolution