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

[Christoph M. Wintersteiger]

Sorry about that, should've paid more attention :)

-----Original Message-----
From: Philipp Ruemmer [mailto:Philipp.Ruemmer at comlab.ox.ac.uk] 
Sent: 20 January 2011 09:20
To: Christoph M. Wintersteiger
Cc: 'Tjark Weber'; 'smt-lib'
Subject: Re: [SMT-LIB] Translating SMT-LIB 1.2 Benchmarks into 2.0?

Thanks for the advertising ... but this is actually a converter from SMT-LIB 2 to SMT-LIB 1.2, not the other way round.

Bests, Philipp

On Wed, 2011-01-19 at 17:45 +0000, Christoph M. Wintersteiger wrote:
> 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
> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib