[YICES-HELP] more than one model

[John Rushby]

> But now in my work , i should have more than one model ( in best
> cases all.... :)) as results of YICES.
>
> my question : can Yices output more than one model?
> 
> if yes, how i can do that .

That's called "allsat".  See if the Yices FAQ entry on allsat helps
answer your question:

http://yices-wiki.csl.sri.com/index.php/FAQ#Implementing_allsat_with_Yices

John