[YICES-HELP] more than one model
rushby at csl.sri.com
Tue Jul 28 11:10:09 PDT 2009
> 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:
More information about the YICES-HELP