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

Miscellaneous easy problems.

`otter < andrews.in > andrews.out`

`otter < cn.in > cn.out`

`otter < dem_alu.in > dem_alu.out`

`otter < ec.in > ec.out`

`otter < kb_bench.in > kb_bench.out`

`otter < mv.in > mv.out`

`otter < sax1.in > sax1.out`

`otter < sax2.in > sax2.out`

`otter < stage1.in > stage1.out`

`otter < stage2.in > stage2.out`

`otter < str_bws.in > str_bws.out`

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