/home/mccune/otter-3.3/examples/auto
These problems are easy for Otter.
All use the autonomous mode.
otter < cn19.in > cn19.out
otter < comm.in > comm.out
otter < ec_yq.in > ec_yq.out
otter < group.in > group.out
otter < lifsch.in > lifsch.out
otter < mv25.in > mv25.out
otter < pigeon.in > pigeon.out
otter < ring_x2.in > ring_x2.out
otter < robbins.in > robbins.out
otter < salt.in > salt.out
otter < sam.in > sam.out
otter < steam.in > steam.out
otter < tba_gg.in > tba_gg.out
otter < wang1.in > wang1.out
otter < w_sk.in > w_sk.out
otter < x2_quant.in > x2_quant.out
otter < z11.in > z11.out
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.