/home/mccune/otter-3.3/examples/kalman

otter < ex_1.in > ex_1.out

otter < ex_2.in > ex_2.out

otter < ex_3.in > ex_3.out

otter < ex_4.in > ex_4.out

otter < i1.in > i1.out

otter < i2.in > i2.out

otter < i3.in > i3.out

otter < i4.in > i4.out

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