[YICES] Fwd: RE: Question about Yices

[Bruno Dutertre]

Hyondeuk Kim wrote:
> Hello Yices,
> 
> Could you give more detailed explanation for below question?
> 
> thanks,

What question?

Thanks

Bruno