Module for solving problems with open bounds/cardinalities.
__init__(facts: List[str], solver: str, clingo_args: List[str], output_format: str)
get_bounds(algorithm: str = 'linear', initial_bound: int = 0, use_multishot: bool = False) -> Optional[int]
Compute the minimal bound for the problem.