Otherwise restore the candidate and take the next one
3) Resume solving the puzzle, now with fewer candidate values, using simple methods.
Looks like backtracking to me.
And applies the first contradiction it finds.
My solver scans in layers and can give details from the net. Sometimes using layers makes it faster, sometimes not.
Building the net costs time too.