/nfs/mcs-homes62/mccune/otter-3.2/examples/ivy


These are examples of Otter inputs constructed by Ivy.

cd-cn19 : cd-cn19.in : cd-cn19.pIII950 :

comb-sk-w : comb-sk-w.in : comb-sk-w.pIII950 :

group-comm : group-comm.in : group-comm.pIII950 :

group-x2-refute : group-x2-refute.in : group-x2-refute.pIII950 :

group-x2 : group-x2.in : group-x2.pIII950 :

lifsch : lifsch.in : lifsch.pIII950 :

p-and-not-p : p-and-not-p.in : p-and-not-p.pIII950 :

steam : steam.in : steam.pIII950 :


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