from typing import Any, Optional

from dumbo_asp.primitives import SymbolicProgram


def minimal_unsatisfiable_subsets(
        program: SymbolicProgram,
        # up_to: Optional[Positi]
) -> Any:
    ...