Utils (`cpmpy.tools.explain.utils`)

Utilities for explanation techniques

List of functions

make_assump_model

Construct implied version of all soft constraints.

cpmpy.tools.explain.utils.make_assump_model(soft, hard=[], name=None)[source]: Construct implied version of all soft constraints. Can be used to extract cores (see tools.mus()). Provide name for assumption variables with name param.