7f49f02b_nt_Extensions__Examples___AMPL__Represents
[Model file] sudoku.mod sudokuVeryEasy.dat sudokuHard.dat [Represents] 
Model to solve instances of the 3 x 3 Sudoku problem, using the alldiff operator
Logic Constraint Extensions: Examples | AMPL
Represents