[YICES] Fwd: RE: Question about Yices

[Hyondeuk Kim]

Hello Yices,

Could you give more detailed explanation for below question?

thanks,
----
Hyondeuk Kim, Ph.D. Candidate
Department of Electrical & Computer Engineering
University of Colorado at Boulder
Email: Hyondeuk.Kim at colorado.edu             
-------------- next part --------------
An embedded message was scrubbed...
From: Leonardo de Moura <leonardo at microsoft.com>
Subject: RE: Question about Yices 
Date: Sun, 17 Jun 2007 00:36:02 -0700
Size: 4129
Url: http://lists.csl.sri.com/pipermail/yices/attachments/20070617/36a719ee/Message3.eml