class Solver:
    def __init__(self, *args, **kwargs) -> None: ...
    def solve(self, *args, **kwargs): ...
    def update(self, model_update) -> bool: ...

def compute_infeasible_subsystem(*args, **kwargs): ...
def debug_num_solver() -> int: ...
def new(*args, **kwargs): ...
def solve(*args, **kwargs): ...
