Utils (cpmpy.tools.explain.utils)

Utilities for explanation techniques

List of functions

make_assump_model

Construct implied version of all soft constraints.

exception cpmpy.tools.explain.utils.OCUSException

add_note()

Exception.add_note(note) – add a note to the exception

args

with_traceback()

Exception.with_traceback(tb) – set self.__traceback__ to tb and return self.

cpmpy.tools.explain.utils.make_assump_model(soft, hard=[], name=None)

Construct implied version of all soft constraints. Can be used to extract cores (see tools.mus()). Provide name for assumption variables with name param.

cpmpy.tools.explain.utils.replace_cons_with_assump(cpm_cons, assump_map)

Replace soft constraints with assumption variables in a Boolean CPMpy expression.