3.7.98. Extension

A constraint that is defined by explicitly providing all its solutions.