[SMT-LIB] URL for draft Command Language

Tue Aug 11 01:37:05 EDT 2009

Grundy, Jim D wrote:

> * What I think would be useful would be an "smt-version" ...

+1

>  I'd also want a "dump-model" facility.  

+1

Best, J.W.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : /pipermail/smt-lib/attachments/20090811/61f40fd7/signature.bin