[SMT-LIB] Yices to SMT-LIB 2 translator

[Martin Brain]

Hi,
   Does anyone have or know of a script or tool for converting
benchmarks from Yices input language to SMT-LIB 2?  We have a large
number of inputs to handle so conversion by hand in not viable and the
original generator is not available.  For the most part they use a
relatively simple subset of the language so we don't have to worry about
data-types, etc.  Thanks.

Cheers,
 - Martin