Rutverket - puzzle books, checked by computer

Every puzzle is generated by a rule-based program and verified to have exactly one solution before it goes in the book - not AI, not guesswork.