Expand description
Core constraint trait and supporting types.
Enums§
- Revision
- Result of running
reviseon a constraint.
Traits§
- Constraint
- A constraint over one or more CSP variables.
- Soft
Constraint - A constraint with a penalty for violation.
Type Aliases§
- VarId
- Unique variable identifier (index into the variable array).