It's a mix of things. For example, there's an algorithm that ensures all valid deductions are allowed (I'm not smart enough to ensure all of them manually!). But a good amount of manual work goes into each daily puzzle.