[YICES-HELP] Fwd: Logic expression induction

[Bruno Dutertre]

haihao shen wrote:
> Hi,
> 
> I have a question below.
> 
> Thanks,
> Haihao
> 
> ---------- Forwarded message ----------
> From: haihao shen <haihaoshen at gmail.com>
> Date: Tue, May 17, 2011 at 10:27 AM
> Subject: Logic expression induction
> To: yices at csl.sri.com
> 
> 
> Hi,
> 
> I would like to simplify the complex expression into a simpler one. Could
> Yices provide the related help?
> 
> I am a new learner on solver, so welcome any comments!
> 
> Thanks,
> Haihao
> 

Haiho,

This functionality is not supported by Yices at this point.

Bruno