[YICES-HELP] more than one model

[Nihel Ben Youssef]

hello,
i used YICES in many cases where it was efficient and helpful. But now in my
work , i should have  more than one model ( in best cases all.... :)) as
results of YICES.

in my formulas i use boolean, equality and scalar type.

my question : can Yices output more than one model?

if yes, how i can do that .


thank you very much.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/yices-help/attachments/20090728/c2e85830/attachment.html