[YICES-HELP] more than one model
Nihel Ben Youssef
nihel.benyoussef at gmail.com
Tue Jul 28 10:10:17 PDT 2009
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...
More information about the YICES-HELP