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

Christoph M. Wintersteiger christoph.wintersteiger at inf.ethz.ch
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



More information about the SMT-LIB mailing list