Bound Solver

coomsuite.bounds.solver.BoundSolver

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, step: Optional[int] = 1, base: Optional[float] = 2.0, use_multishot: bool = False) -> Optional[int]

Compute the minimal bound for the problem.