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

Tjark Weber tjark.weber at gmx.de
Wed Jan 19 10:02:04 EST 2011

Previous message: [SMT-LIB] [SMT-API] SMTLIB resources - tutorial, Java tool, API, and Eclipse plug-in
Next message: [SMT-LIB] Translating SMT-LIB 1.2 Benchmarks into 2.0?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Kind regards,
Tjark

Previous message: [SMT-LIB] [SMT-API] SMTLIB resources - tutorial, Java tool, API, and Eclipse plug-in
Next message: [SMT-LIB] Translating SMT-LIB 1.2 Benchmarks into 2.0?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list