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

These are examples of Otter inputs constructed by Ivy.

`otter < cd-cn19.in > cd-cn19.out`

`otter < comb-sk-w.in > comb-sk-w.out`

`otter < group-comm.in > group-comm.out`

`otter < group-x2.in > group-x2.out`

`otter < group-x2-refute.in > group-x2-refute.out`

`otter < lifsch.in > lifsch.out`

`otter < p-and-not-p.in > p-and-not-p.out`

`otter < steam.in > steam.out`

`otter < t1.in > t1.out`

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