Constraint counting (source code)

= Constraint counting
{wiki=Constraint_counting}