/home/mccune/otter-3.3/examples/program


Examples of programming Otter.

otter < eval.in > eval.out

otter < jugs.in > jugs.out

otter < mission.in > mission.out

otter < queens.in > queens.out

otter < two_inv.in > two_inv.out


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