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

Utilities for explanation techniques

List of functions

make_assump_model

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.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