7f49f02b_nt_Extensions__Examples___AMPL__Represents
[Model file] singleHoist.mod singleHoist3.dat singleHoist4.dat [Represents] 
Hoist scheduling model using disjunctive constraints
Logic Constraint Extensions: Examples | AMPL
Represents