7f49f02b_nt_Extensions__Examples___AMPL__Represents
[Model file] photo.mod photo9.dat, photo11.dat [Represents] 
Line up a group of people to maximize the number of adjacency preferences satisfied, modeling with alldiff, equivalence (<==>), and strict inequality (<)
Logic Constraint Extensions: Examples | AMPL
Represents