And yet three more integers. These are Tom, Dick and Harry, and they satisfy some quite tricky conditions. Because the solver is actually not very good at arithmetic (it’s really designed to do logic, which is rather different) this is about as complicated as the arithmetic gets – for the rest of the puzzles we shall not use integers very much.

The puzzle uses the “absolute difference” function, defined as the difference between the larger of two numbers and the smaller. This is supplied as a built-in expression “DIF” which the solver understands. You may write either “DIF (x,y)” or “x DIF y” to represent |x-y|.