/home/mccune/otter-3.3/examples/wos


These problems were contributed by Larry Wos in 1994. Most illustrate the resonance strategy.

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.