def METHOD_NAME(mdl): #csolver, map):
    """
        Basic MUS/MCS enumeration, as a simple example.
        Warning: all constraints in 'mdl' must support reification!
        Otherwise, you will get an "Or-tools says: invalid" error.
    """
    sub_solver = SubsetSolver(mdl.constraints)
    map_solver = MapSolver(len(mdl.constraints))
    while True:
        seed = map_solver.next_seed()
        if seed is None:
            # all MUS/MSS enumerated
            return
        if sub_solver.check_subset(seed):
            MSS = sub_solver.grow(seed)
            yield ("MSS", [mdl.constraints[i] for i in MSS])
            map_solver.block_down(MSS)
        else:
            seed = sub_solver.seed_from_core()
            MUS = sub_solver.shrink(seed)
            yield ("MUS", [mdl.constraints[i] for i in MUS])
            map_solver.block_up(MUS)