[SMT-LIB] Translating SMT-LIB 1.2 Benchmarks into 2.0?

Wed Jan 19 12:45:55 EST 2011

There is a converter  that was implemented by Philipp Ruemmer as part of a
proposal for a List/Set/Map theory. It's available at
http://www.cprover.org/SMT-LIB-LSM/

Christoph

-----Original Message-----
From: smt-lib-bounces at cs.nyu.edu [mailto:smt-lib-bounces at cs.nyu.edu] On
Behalf Of Tjark Weber
Sent: 19 January 2011 15:02
To: smt-lib
Subject: [SMT-LIB] Translating SMT-LIB 1.2 Benchmarks into 2.0?

Is there a tool (or tool chain) that can translate SMT-LIB 1.2 benchmarks
into SMT-LIB 2 format?

Kind regards,
Tjark

_______________________________________________
SMT-LIB mailing list
SMT-LIB at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/smt-lib