DmConstraintModel

EXPERIMENTAL

Experimental

caution

Not production-ready. It may change or be removed without notice. See Lifecycle.

Snapshot of the CP-SAT constraint model built before the solver runs, including variables, constraint groups, and the objective.

Member Of

DmResolverFeasibilityResult object ● DmResolverResult object

type DmConstraintModel {
  constraints: [String!]!
  display: String!
  objective: String!
  variables: [String!]!
}

Fields

constraints ● [String!]! non-null scalar

List of individual constraints with their group name, index, and description.

display ● String! non-null scalar

Structured, human-readable representation of the full constraint model.

objective ● String! non-null scalar

variables ● [String!]! non-null scalar

List of individual decision variables with their group name, optional sub-label, and variable name.