otter < cursory.in > cursory.out
otter < grp_exp3.in > grp_exp3.out
otter < grp_exp4.in > grp_exp4.out
otter < manyval.in > manyval.out
otter < rigorous.in > rigorous.out
otter < rob_occ.in > rob_occ.out
otter < twoval.in > twoval.out
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.