Assertion: algorithm | /r/HasProperty | violation
Facets:
Source sentences:
text: If there are no violations (checking row, column, and box constraints) then the algorithm advances to the next cell and places a "1" in that cell.