Multishot Application

Control structure for the multi-shot encoding to solve instances with unbounded cardinalities.

coomsuite.bounds.multi_application.COOMMultiSolverApp

Bases: COOMSolverApp

Application class for multi-shot solving extending the standard COOM application class

max_bound: int = initial_bound instance-attribute

The current max bound

__init__(serialized_facts: List[str], algorithm: str = 'linear', initial_bound: int = 0, log_level: str = '', options: Optional[Dict[str, Any]] = None, istest: bool = False)

main(control: Control, files: Sequence[str]) -> None

Main function of the multishot application class

After returning the attribute max_bound is the minimal bound for which the instance is satisfiable.

Parameters:

Name	Type	Description	Default
control	Control	the clingo control object	required