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

Martin Brain martin.brain at cs.ox.ac.uk
Tue Apr 29 07:09:44 EDT 2014


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





More information about the SMT-LIB mailing list