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

[DUCK Gregory James]

Hi Martin,

Don't take that part of the site too seriously.  But yes, SMCHR does not 
support SMTLIB format.  One day I may write a converter but that is not a 
priority ATM.

Cheers,

-Greg.