otter < ec_yql.in > ec_yql.out
otter < lexical1.in > lexical1.out
otter < lexical2.in > lexical2.out
otter < lexical3.in > lexical3.out
otter < luka5h.in > luka5h.out
otter < mfl_13.in > mfl_13.out
otter < olsax_hints.in > olsax_hints.out
otter < rob_ocd.in > rob_ocd.out
otter < x3tricks.in > x3tricks.out
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.