from collections.abc import Generator
from typing import Any, Literal

def dpll_satisfiable(
    expr, all_models=...
) -> Generator[bool, None, None] | Generator[Any | Literal[False], Any, None] | dict[Any, Any] | Literal[False]: ...

class SATSolver:
    def __init__(
        self, clauses, variables, var_settings, symbols=..., heuristic=..., clause_learning=..., INTERVAL=...
    ) -> None: ...

class Level:
    def __init__(self, decision, flipped=...) -> None: ...