### /home/mccune/otter-3.3/examples

- auto . These problems are easy for Otter. All use the autonomous mode.
- fringe . These problems illustrate some of Otter's esoteric features: hints, rewriting, tricks with orderings, algebraic geometry.
- ivy . These are examples of Otter inputs constructed by Ivy.
- kalman . Contributed by John Kalman.
- misc . Miscellaneous easy problems.
- program . Examples of programming Otter.
- split . These problems were used to test Otter's experimental splitting rule.
- wos . These problems were contributed by Larry Wos in 1994. Most illustrate the resonance strategy.

These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.