def print_cores(self):
    for core in self.cores:
        tty.msg('The following constraints are unsatisfiable:', *sorted((str(symbol) for symbol in core)))
def print_cores(self):
    for core in self.cores:
        tty.msg('The following constraints are unsatisfiable:', *sorted((str(symbol) for symbol in core)))