[SMT-LIB] Translators to SMT-LIB format

[Alessandro Armando]

Dear all,

what are the available translators to the SMT-LIB format?

In particular, is there:

- a translator from TPTP syntax to SMT-LIB or
- a translator from CVC syntax to SMT-LIB ?

Thanks in advance,

alessandro

-- 
Alessandro Armando		    e-mail: armando at dist.unige.it
Artificial Intelligence Laboratory  http://www.ai.dist.unige.it/armando
DIST - Universita' di Genova,       phone:  +39-0103532216
viale Causa 13,                     fax:    +39-0103532948
16145 GENOVA, ITALY                 mobile: +39-3281003201