[SMT-LIB] The SMCHR system version 1.0 released.

Martin Brain martin.brain at cs.ox.ac.uk
Tue Oct 1 19:14:24 EDT 2013


On Mon, 2013-09-30 at 21:29 +0800, DUCK Gregory James wrote:
> Hi Martin,
> 
> Don't take that part of the site too seriously.
OK :-)

>   But yes, SMCHR does not 
> support SMTLIB format.  One day I may write a converter but that is not a 
> priority ATM.

I think that would be really cool as rewriting based theory solvers
haven't really been explored that much and it would be good to be able
to use and compare these without the hassle of having to rewrite /
reformat / translate all of the benchmarks.

Cheers,
 - Martin




More information about the SMT-LIB mailing list