Locked constraint satisfaction problems.

Locked constraint satisfaction problems.