Briefly, a program would solve a puzzle by placing the digit "1" in the first cell and checking if it is allowed to be there.
In essence, a program would solve a puzzle by initially placing the digit "1" in the first cell and verifying if it is permissible there.