I wrote an Alloy model of "Inequational Number Place" puzzle (which is a variant of "Number Place" or "Sudoku" puzzle).