Module backtrack::problem

Traits defining a problem

Traits

Check	Check if a combination of values is satisfactory
CheckInc	Check if a new value is satisfactory against reduced combinations incrementally.
Scope	Size and solution domain of a problem