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

These problems illustrate some of Otter's esoteric features: hints, rewriting, tricks with orderings, algebraic geometry.

`otter < bring.in > bring.out`

`otter < ec_yql.in > ec_yql.out`

`otter < gl4.in > gl4.out`

`otter < gl8.in > gl8.out`

`otter < if.in > if.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.